Journal of Automated Reasoning

Special issue on

First-order Theorem Proving

Volume 33, Numbers 3-4
Springer Science+Business Media B.V., October 2004.
ISSN: 0168-7433 (Paper) 1573-0670 (Online).



Following the tradition of the previous Workshops on First-order Theorem Proving, a special issue will be edited to commemorate the fourth workshop in this series. The special issue will be published by Kluwer Academic Publishers within the Journal of Automated Reasoning.

This special issue will focus on First-order Theorem Proving as a core theme of Automated Deduction, including:

This special issue welcomes original high quality contributions which have been neither published in nor submitted to any journals or refereed conferences.
The contributions are not limited to those presented at the workshop FTP'2003.

Editors of this special issue

  • Deepak Kapur, University of New Mexico, Albuquerque, USA

  • Laurent Vigneron, LORIA - Université Nancy 2, France

  • Accepted Papers

    The following papers have been accepted for this special issue that should appear at the end of 2004.

    Related links

    Laurent Vigneron
    Last modified: 24-Mar-2005