Theoretical Computer Science
, Volume 82
Volume 82, Number 1, 1991
Klaus Weihrauch
,
Christoph Kreitz
: Type 2 Computational Complexity of Functions on Cantor's Space. 1-18
BibTeX
Barbara Lando
: Periodicity and Ultimate Periodicity of D0L Systems. 19-33
BibTeX
Jean-Jacques Hébrard
: An Algorithm for Distinguishing Efficiently Bit-Strings by their Subsequences. 35-49
BibTeX
Ker-I Ko
: On Adaptive Versus Nonadaptive Bounded Query Machines. 51-69
BibTeX
Filippo Mignosi
: On the Number of Factors of Sturmian Words. 71-84
BibTeX
Marc Snir
: Size-depth Trade-Offs for Monotone Arithmetic Circuits. 85-93
BibTeX
Joost Engelfriet
,
George Leih
,
Grzegorz Rozenberg
: Nonterminal Separation in Graph Grammars. 95-111
BibTeX
Martin Dietzfelbinger
,
Wolfgang Maass
,
Georg Schnitger
: The Complexity of Matrix Transposition on One-Tape Off-Line Turing Machines. 113-129
BibTeX
Kai Salomaa
,
Sheng Yu
: Decidability of Structural Equivalence of E0L Grammars. 131-139
BibTeX
J. M. Robson
: An O (T log T) Reduction from RAM Computations to Satisfiability. 141-149
BibTeX
Cristian Calude
,
Gabriel Istrate
: Determining and Stationary Sets for Some Classes of Partial Recursive Functions. 151-155
BibTeX
Vladimir Palko
,
Ondrej Sýkora
,
Imrich Vrto
: Area Complexity of Merging. 157-163
BibTeX
Joop M. I. M. Leo
: A General Context-Free Parsing Algorithm Running in Linear Time on Every LR (k) Grammar Without Using Lookahead. 165-176
BibTeX
Volume 82, Number 2, 1991
Michel Bauderon
: Infinite Hypergraphs I. Basic Properties. 177-214
BibTeX
Giorgio Germano
,
Stefano Mazzanti
: Closure Functions and General Iterates as Reflectors. 215-252
BibTeX
Martín Abadi
,
Leslie Lamport
: The Existence of Refinement Mappings. 253-284
BibTeX
Jos C. M. Baeten
,
Jan A. Bergstra
: Recursive Process Definitions with the State Operator. 285-302
BibTeX
Axel Lukassen
,
Gottfried Vossen
: A Formal Framework for Independence with Respect to Transactions in the Universal Relation Model. 303-327
BibTeX
Wieslaw Szwast
: On Horn Spectra. 329-339
BibTeX
Rodney R. Howell
,
Louis E. Rosier
,
Hsu-Chun Yen
: A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 341-372
BibTeX
François Denis
,
Jean-Paul Delahaye
: Is there an Axiomatic Semantics for Standard Pure Prolog. 373-388
BibTeX
Pierre-Louis Curien
: An Abstract Framework for Environment Machines. 389-402
BibTeX
Eric Badouel
,
Philippe Darondeau
: On Guarded Recursion. 403-408
BibTeX
R. Hoofman
: Weakly Expressive Models for Hoare Logic. 409-418
BibTeX
Copyright ©
Sun May 17 00:24:03 2009 by
Michael Ley
(
ley@uni-trier.de
)