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