Volume 1,
Number 1,
March 1990
Volume 1,
Number 2,
June 1990
Volume 1,
Number 3,
September 1990
- Franco Barbanera:
Combining Term Rewriting and Type Assignment Systems.
165-184 BibTeX
- Daniel P. Bovet, Miriam Di Ianni, Pierluigi Crescenzi:
Deadlock Prediction in the Case of Dynamic Routing.
185-200 BibTeX
- Danilo Bruschi, Deborah Joseph, Paul Young:
Strong Separations for the Boolean Hierarchy over RP.
201-218 BibTeX
- Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
Breath and Depth Grammars and Deque Automata.
219-232 BibTeX
- Stefania Costantini:
Semantics of a Metalogic Programming Language.
233-248 BibTeX
- Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami:
Nested Guarded Horn Clauses.
249-264 BibTeX
- Massimiliano Goldwurm:
Some Limit Distributions in Analysis of Algorithms for Problems on Trace Languages.
265-276 BibTeX
- Roberto Gorrieri, Ugo Montanari:
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.
277-294 BibTeX
- Erich Grädel:
On the Notion of Linear Time Computability.
295-308 BibTeX
- Filippo Mignosi:
Sturmian Words and Ambigous Context-Free Languages.
309-324 BibTeX
- Adolfo Piperno, Enrico Tronci:
Regular Systems in lambda-Calculus.
325-340 BibTeX
- Giuseppe Rosolini:
About Modest Sets.
341- BibTeX
Volume 1,
Number 4,
December 1990
Copyright © Wed Jun 4 19:11:10 2008
by Michael Ley (ley@uni-trier.de)
