Volume 5,
Number 1,
January 1999
Volume 5,
Number 2,
February 1999
Volume 5,
Number 3,
March 1999
- Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif:
J.UCS Special Issue on Integration of Deduction Systems.
Electronic Edition (link) BibTeX
- Thomas Baar, Bernd Fischer, Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application.
52-72
Electronic Edition (link) BibTeX
- Lawrence C. Paulson:
A Generic Tableau Prover and its Integration with Isabelle.
73-87
Electronic Edition (link) BibTeX
- Christoph Kreitz, Jens Otten:
Connection-based Theorem Proving in Classical and Non-classical Logics.
88-112
Electronic Edition (link) BibTeX
- Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
113-134
Electronic Edition (link) BibTeX
- Frieder Stolzenburg:
Loop-Detection in Hyper-Tableaux by Powerful Model Generation.
135-155
Electronic Edition (link) BibTeX
- Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge:
Agent-Oriented Integration of Distributed Mathematical Services.
156-187
Electronic Edition (link) BibTeX
- Christoph Benzmüller, Matthew Bishop, Volker Sorge:
Integrating Tps and Omega.
188-207
Electronic Edition (link) BibTeX
- Jörg Meyer, Arnd Poetzsch-Heffter:
Interactive Verification Environments for Object-Oriented Programs.
208-225
Electronic Edition (link) BibTeX
Volume 5,
Number 4,
April 1999
Volume 5,
Number 5,
May 1999
Volume 5,
Number 6,
June 1999
Volume 5,
Number 7,
July 1999
Volume 5,
Number 8,
August 1999
Volume 5,
Number 9,
September 1999
- Alexandru Mateescu:
J.UCS Special Issue on Formal Languages and Automata.
493
Electronic Edition (link) BibTeX
- Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines.
494-507
Electronic Edition (link) BibTeX
- Symeon Bozapalidis:
An Introduction To Polypodic Structures.
508-520
Electronic Edition (link) BibTeX
- Sigrid Ewert, Andries P. J. van der Walt:
Shrink Indecomposable Fractals.
521-531
Electronic Edition (link) BibTeX
- Sándor Horváth, Masami Ito:
Decidable and Undecidable Problems of Primitive Words, Regular and Context-Free Languages.
532-541
Electronic Edition (link) BibTeX
- Padmanabhan Krishnan:
Issues Related to Distributed Processing of Picture Languages.
542-551
Electronic Edition (link) BibTeX
- Manfred Kudlek:
Some Algebraic Structures with Iteration Lemmata.
552-562
Electronic Edition (link) BibTeX
- Maurice Margenstern, Kenichi Morita:
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane.
563-573
Electronic Edition (link) BibTeX
- Kahn Mason, Padmanabhan Krishnan:
Decomposition of Timed Automata.
574-587
Electronic Edition (link) BibTeX
- Ion Petre, Luigia Petre:
Mobile Ambients and P-Systems.
588-598
Electronic Edition (link) BibTeX
- George Rahonis:
Splicing on Trees: the Iterated Case.
599-609
Electronic Edition (link) BibTeX
- Kai Salomaa, Sheng Yu:
Synchronization Expressions and Languages.
610-621
Electronic Edition (link) BibTeX
- Loutfi Soufi:
Type Specification by Regular Expressions.
622-631
Electronic Edition (link) BibTeX
Volume 5,
Number 10,
October 1999
Volume 5,
Number 11,
November 1999
Volume 5,
Number 12,
December 1999
Copyright © Sun May 17 00:12:21 2009
by Michael Ley (ley@uni-trier.de)