The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
1999, volume: 39, number: 1-2

  1. Clemens Ballarin, Lawrence C. Paulson
    A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:1-20 [Journal]
  2. Belaid Benhamou, Laurent Henocque
    A Hybrid Method for Finite Model Search in Equational Theories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:21-38 [Journal]
  3. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:39-57 [Journal]
  4. Uwe Egly, Stephan Schmitt
    On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:59-83 [Journal]
  5. Stéphane Fèvre, Dongming Wang
    Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:85-104 [Journal]
  6. Melvin Fitting
    On Quantified Modal Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:105-121 [Journal]
  7. Dirk Fuchs
    On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:123-143 [Journal]
  8. Christopher Lynch, Christelle Scharff
    Basic Completion with E-cycle Simplification. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:145-165 [Journal]
  9. Eric Monfroy, Christophe Ringeissen
    An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:167-187 [Journal]
  10. Brigitte Pientka, Christoph Kreitz
    Automating Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:189-209 [Journal]
  11. J. Rafael Sendra, Franz Winkler
    Algorithms for Rational Real Algebraic Curves. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:211-228 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002