Volume 53, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 53, Issue 4

December 2014

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

A Complete Superposition Calculus for Primal Grammars
Hicham Bensaid
Nicolas Peltier
OriginalPaper 19 September 2014 Pages: 317 - 350
Reasoning with Nominal Schemas through Absorption
Andreas Steigmiller
Birte Glimm
Thorsten Liebig
OriginalPaper 14 August 2014 Pages: 351 - 405
On the Formalization of Gamma Function in HOL
Umair Siddique
Osman Hasan
OriginalPaper 25 July 2014 Pages: 407 - 429