Volume 24,
1983
- Horst Wedde:
An Iterative and Starvation-Free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives.
1-20 BibTeX
- Aldo de Luca, Antonio Restivo, Sergio Salemi:
On the Centers of a Language.
21-34 BibTeX
- Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier:
On the Control Power of Integer Division.
35-52 BibTeX
- John J. Grefenstette:
Stability in L Systems.
53-71 BibTeX
- David A. Schmidt:
Approximation Properties of Abstract Data Types.
73-94 BibTeX
- Robert P. Daley:
On the Error Correcting Power of Pluralism in BC-Type Inductive Inference.
95-104 BibTeX
- Osamu Watanabe:
The Time-Precision Tradeoff Problem on On-Line Probabilistic Turing Machines.
105-117 BibTeX
- Bernard Chazelle, Louis Monier:
Unbounded Hardware is Equivalent to Deterministic Turing Machines.
123-130 BibTeX
- Neelam Soundararajan:
Correctness Proofs of CSP Programs.
131-141 BibTeX
- K. K. Nambiar, Thiruvengadam Radhakrishnan, V. G. Tikekar:
Representation of Functional Dependencies in Relational Databases Using Linear Graphs.
143-159 BibTeX
- Akira Nakamura, Kunio Aizawa:
On a Relationship between Graph L-Systems and Picture Languages.
161-177 BibTeX
- Manabu Toda, Katsushi Inoue, Itsuo Takanami:
Two-Dimensional Pattern Matching by Two-Dimensional on-Line Tessellation Acceptors.
179-194 BibTeX
- Rani Siromoney, V. Rajkumar Dare, K. G. Subramanian:
Infinite Arrays and Infinite Computations.
195-205 BibTeX
- A. Bagchi, A. Mahanti:
Admissible Heuristic Search in And/Or Graphs.
207-219 BibTeX
- James A. Storer:
Toward an Abstract Theory of Data Compression.
221-237 BibTeX
- Joos Heintz:
Definability and Fast Quantifier Elimination in Algebraically Closed Fields.
239-277 BibTeX
- Steven Homer, Wolfgang Maass:
Oracle-Dependent Properties of the Lattice of NP Sets.
279-289 BibTeX
- Umesh V. Vazirani, Vijay V. Vazirani:
A Natural Encoding Scheme Proved Probabilistic Polynomial Complete.
291-300 BibTeX
- Ronald V. Book:
Decidable Sentences of Church-Rosser Congruences.
301-312 BibTeX
- Oscar H. Ibarra:
On Some Decision Questions Concerning Pushdown Machines.
313-322 BibTeX
- Patrick C. Fischer, Jiann H. Jou, Don-Min Tsou:
Succinctness in Dependency Systems.
323-329 BibTeX
- Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi:
A Relationship between Two-Dimensional Finite Automata and Three-Way Tape-Bounded Two-Dimensional Turing Machines.
331-336 BibTeX
- Ernst-Rüdiger Olderog:
On the Notion of Expressiveness and the Rule of Adaption.
337-347 BibTeX
Copyright © Sun May 17 00:23:49 2009
by Michael Ley (ley@uni-trier.de)
