default search action
Theoretical Computer Science, Volume 24
Volume 24, 1983
- Horst F. 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 - Amitava 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.