Volume 32,
Number 1,
October 1997
Volume 32,
Number 2,
November 1997
Volume 32,
Numbers 3-4,
December 1997
- Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
193-250 BibTeX
- Antonio Bucciarelli:
Bi-Models: Relational Versus Domain-Theoretic Approaches.
251-266 BibTeX
- Andrés Bujosa, Regino Criado, Miguel A. Hernandez-Medina:
Unification: Nothing but the Solution of a System of Linear Equations.
267-280 BibTeX
- Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules.
281-297 BibTeX
- Mihir K. Chakraborty, Sanjukta Basu:
Graded Consequence and Some Metalogical Notions Generalized.
299-311 BibTeX
- Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc:
Transition-Optimal Token Distribution.
313-328 BibTeX
- Wan Fokkink:
An Axiomatization for Regular Processes in Times Branching Bisimulation.
329-340 BibTeX
- Juha Honkala:
Decision Problems Concerning a Power Series Generalization of DTOL Systems.
341-348 BibTeX
- Mohamed A. Khamsi, Driss Misane:
Disjunctive Signed Logic Programs.
349-357 BibTeX
- Wladyslaw Skarbek:
On Relation of Image Compression and Image Association.
359-371 BibTeX
- Ferucio Laurentiu Tiplea, Erkki Mäkinen:
Jumping Petri Nets. Specific Properties.
373-392 BibTeX
Copyright © Sat May 16 23:59:23 2009
by Michael Ley (ley@uni-trier.de)