|
Journals in DBLP
J. UCS 1999, volume: 5, number: 3
- Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
J.UCS Special Issue on Integration of Deduction Systems. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:- [Journal]
- Thomas Baar, Bernd Fischer, Dirk Fuchs
Integrating Deduction Techniques in a Software Reuse Application. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:52-72 [Journal]
- Lawrence C. Paulson
A Generic Tableau Prover and its Integration with Isabelle. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:73-87 [Journal]
- Christoph Kreitz, Jens Otten
Connection-based Theorem Proving in Classical and Non-classical Logics. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:88-112 [Journal]
- Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:113-134 [Journal]
- Frieder Stolzenburg
Loop-Detection in Hyper-Tableaux by Powerful Model Generation. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:135-155 [Journal]
- Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
Agent-Oriented Integration of Distributed Mathematical Services. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:156-187 [Journal]
- Christoph Benzmüller, Matthew Bishop, Volker Sorge
Integrating Tps and Omega. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:188-207 [Journal]
- Jörg Meyer, Arnd Poetzsch-Heffter
Interactive Verification Environments for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:208-225 [Journal]
|