Content of Issue 3
DOI: 10.3217/jucs-005-03
|
J.UCS Special Issue on Integration of Deduction Systems |
R. Hähnle, W. Menzel, P. H. Schmitt, W. Reif |
50 |
Integrating Deduction Techniques in a Software Reuse Application |
T. Baar, B. Fischer, D. Fuchs |
52 |
A Generic Tableau Prover and its Integration with Isabelle |
L. C. Paulson |
73 |
Connection-Based Theorem Proving in Classical and Non-Classical Logics |
C. Kreitz, J. Otten |
88 |
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi |
G. Stenz, W. Ahrendt, B. Beckert |
113 |
Loop-Detection in Hyper-Tableaux by Powerful Model Generation |
F. Stolzenburg |
135 |
Agent-Oriented Integration of Distributed Mathematical Services |
A. Franke, S. M. Hess, C. Jung, M. Kohlhase, V. Sorge |
156 |
Integrating Tps and Omega |
C. Benzmüller, M. Bishop, V. Sorge |
188 |
Interactive Verification Environments for Object-Oriented Programs |
J. Meyer, A. Poetzsch-Heffter |
208 |
Content of Issue 9
DOI: 10.3217/jucs-005-09
|
J.UCS Special Issue on Formal Languages and Automata (WFLA) |
A. Mateescu |
493 |
Communicating Stream X-Machines Systems are no more than X-Machines |
T. Balanescu, A. J. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan |
494 |
An Introduction To Polypodic Structures |
S. Bozapalidis |
508 |
Shrink Indecomposable Fractals |
S. Ewert, A. van der Walt |
521 |
Decidable and Undecidable Problems of Primitive Words, Regular and Context-Free Languages |
S. Horváth, M. Ito |
532 |
Issues Related to Distributed Processing of Picture Languages |
P. Krishnan |
542 |
Some Algebraic Structures with Iteration Lemmata |
M. Kudlek |
552 |
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane |
M. Margenstern, K. Morita |
563 |
Decomposition of Timed Automata |
K. Mason, P. Krishnan |
574 |
Mobile Ambients and P-Systems |
I. Petre, L. Petre |
588 |
Splicing on Trees: the Iterated Case |
G. Rahonis |
599 |
Synchronization Expressions and Languages |
K. Salomaa, S. Yu |
610 |
Type Specification by Regular Expressions |
L. Soufi |
622 |
|