Volume 48, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 48, Issue 3

March 2012

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

An Instantiation Scheme for Satisfiability Modulo Theories
Mnacho Echenim
Nicolas Peltier
OriginalPaper 01 September 2010 Pages: 293 - 362
E-unification with Constants vs. General E-unification
Jan Otop
OriginalPaper 21 August 2010 Pages: 363 - 390
Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Belaïd Benhamou
Lionel Paris
Pierre Siegel
OriginalPaper 04 September 2010 Pages: 391 - 417