Volume 37, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 37, Issue 4

November 2006

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Some Computational Aspects of distance-sat
Olivier Bailleux
Pierre Marquis
OriginalPaper 10 January 2007 Pages: 231 - 260
An Efficient Approach to Solving Random k-sat Problems
Gilles Dequen
Olivier Dubois
OriginalPaper 20 October 2006 Pages: 261 - 276
The Calculus of Relations as a Foundation for Mathematics
Steven Givant
OriginalPaper 02 February 2007 Pages: 277 - 322
Tree Tuple Languages from the Logic Programming Point of View
Sébastien Limet
Gernot Salzer
OriginalPaper 25 January 2007 Pages: 323 - 349