In this issue

Papers published: 9

Total pages: 180

Unique views: 6734

Total views: 8254

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
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: 693 | Total: 896
 208-225
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: 778 | Total: 938
 188-207
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: 806 | Total: 1003
 156-187
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: 671 | Total: 801
 135-155
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: 860 | Total: 1039
 113-134
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: 713 | Total: 855
 88-112
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: 814 | Total: 1046
 73-87
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: 710 | Total: 848
 52-72
HTML
XML
PDF
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: 689 | Total: 828
 50-51
HTML
XML
PDF

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

OK