Volume 39,
Numbers 1-2,
July 1999
- Clemens Ballarin, Lawrence C. Paulson:
A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory.
1-20 BibTeX
- Belaid Benhamou, Laurent Henocque:
A Hybrid Method for Finite Model Search in Equational Theories.
21-38 BibTeX
- Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
39-57 BibTeX
- Uwe Egly, Stephan Schmitt:
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.
59-83 BibTeX
- Stéphane Fèvre, Dongming Wang:
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.
85-104 BibTeX
- Melvin Fitting:
On Quantified Modal Logic.
105-121 BibTeX
- Dirk Fuchs:
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi.
123-143 BibTeX
- Christopher Lynch, Christelle Scharff:
Basic Completion with E-cycle Simplification.
145-165 BibTeX
- Eric Monfroy, Christophe Ringeissen:
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach.
167-187 BibTeX
- Brigitte Pientka, Christoph Kreitz:
Automating Inductive Specification Proofs.
189-209 BibTeX
- J. Rafael Sendra, Franz Winkler:
Algorithms for Rational Real Algebraic Curves.
211-228 BibTeX
Volume 39,
Number 3,
July-August 1999
Volume 39,
Number 4,
September 1999
Copyright © Sat May 16 23:59:23 2009
by Michael Ley (ley@uni-trier.de)
