Volume 26,
1983
- Efim B. Kinber:
The Inclusion Problem for some Classes of Deterministic Multitape Automata.
1-24 BibTeX
- Ivan Hal Sudborough:
Bandwidth Constraints on Problems Complete for Polynomial Time.
25-52 BibTeX
- J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics.
53-82 BibTeX
- Sorin Istrail, Cristian Masalagiu:
Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization.
83-103 BibTeX
- Eric C. R. Hehner, C. A. R. Hoare:
A More Complete Model of Communicating Processes.
105-120 BibTeX
- E. Allen Emerson:
Alternative Semantics for Temporal Logics.
121-130 BibTeX
- Klaus Weihrauch, Gisela Schäfer:
Admissible Representations of Effective CPO's.
131-147 BibTeX
- Seymour Ginsburg, Richard Hull:
Order Dependency in the Relational Model.
149-195 BibTeX
- Oscar H. Ibarra, Louis E. Rosier:
Simple Programming Languages and Restricted Classes of Turing Machines.
197-220 BibTeX
- André Arnold:
Rational omega-Languages are Non-Ambiguous.
221-223 BibTeX
- Vaclav Rajlich:
Determinism in Parallel Systems.
225-231 BibTeX
- Walter Bucher, Johann Hagauer:
It is Decidable Whether a Regular Language is Pure Context-Free.
233-241 BibTeX
- Seymour Ginsburg, Richard Hull:
Characterizations for Functional Dependency and Boyce-CODD Normal Form Families.
243-286 BibTeX
- Chee-Keng Yap:
Some Consequences of Non-Uniform Conditions on Uniform Classes.
287-300 BibTeX
- Grzegorz Rozenberg, R. Verraedt:
Subset Languages of Petri Nets Part I: The Relationship to String Languages and Normal Forms.
301-326 BibTeX
- Stanislav Zák:
A Turing Machine Time Hierarchy.
327-333 BibTeX
- Juris Hartmanis:
On Gödel Speed-Up and Succinctness of Language Representations.
335-342 BibTeX
- John Staples, V. L. Nguyen:
Computing the Behaviour of Asynchronous Processes.
343-353 BibTeX
Copyright © Sun May 17 00:23:50 2009
by Michael Ley (ley@uni-trier.de)
