In this issue

Papers published: 9

Total pages: 176

Unique views: 7737

Total views: 9598

open access

Go to issue

« Previous
Issue 5(3)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 5(3)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
J.UCS Special Issue on Integration of ...
Editorial
J.UCS Special Issue on Integration of Deduction Systems
R. Hähnle, W. Menzel, P. Schmitt, Wolfgang Reif
10.3217/jucs-005-03
 28-03-1999
 Unique: 792 | Total: 967
 50-51
HTML
XML
PDF
Integrating Deduction Techniques in a ...
Research Article
Integrating Deduction Techniques in a Software Reuse Application
Thomas Baar, Bernd Fischer, Dirk Fuchs
10.3217/jucs-005-03-0052
 28-03-1999
 Unique: 792 | Total: 962
 52-72
HTML
XML
PDF
A Generic Tableau Prover and its Integration ...
Research Article
A Generic Tableau Prover and its Integration with Isabelle
Lawrence Paulson
10.3217/jucs-005-03-0073
 28-03-1999
 Unique: 917 | Total: 1187
 73-87
HTML
XML
PDF
Connection-Based Theorem Proving in Classical ...
Research Article
Connection-Based Theorem Proving in Classical and Non-Classical Logics
Christoph Kreitz, Jens Otten
10.3217/jucs-005-03-0088
 28-03-1999
 Unique: 854 | Total: 1035
 88-112
HTML
XML
PDF
Proof Transformations from Search-Oriented ...
Research Article
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
10.3217/jucs-005-03-0113
 28-03-1999
 Unique: 966 | Total: 1183
 113-134
HTML
XML
PDF
Loop-Detection in Hyper-Tableaux by Powerful ...
Research Article
Loop-Detection in Hyper-Tableaux by Powerful Model Generation
Frieder Stolzenburg
10.3217/jucs-005-03-0135
 28-03-1999
 Unique: 783 | Total: 951
 135-155
HTML
XML
PDF
Agent-Oriented Integration of Distributed ...
Research Article
Agent-Oriented Integration of Distributed Mathematical Services
Andreas Franke, Stephan Hess, Christoph Jung, Michael Kohlhase, Volker Sorge
10.3217/jucs-005-03-0156
 28-03-1999
 Unique: 927 | Total: 1159
 156-187
HTML
XML
PDF
Integrating Tps and Omega
Research Article
Integrating Tps and Omega
Christoph Benzmüller, Matthew Bishop, Volker Sorge
10.3217/jucs-005-03-0188
 28-03-1999
 Unique: 903 | Total: 1105
 188-207
HTML
XML
PDF
Interactive Verification Environments ...
Research Article
Interactive Verification Environments for Object-Oriented Programs
Jörg Meyer, Arnd Poetzsch-Heffter
10.3217/jucs-005-03-0208
 28-03-1999
 Unique: 803 | Total: 1049
 208-225
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK