default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 28
Volume 28, 1984
- Wolfgang J. Paul:
On Heads Versus Tapes. 1-12 - Jan Maluszynski:
Towards a Programming Language Based on the Notion of Two-Level Grammar. 13-43 - Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages. 45-81 - Krzysztof R. Apt:
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. 83-109 - Rolf Wiehagen, Rusins Freivalds, Efim B. Kinber:
On the Power of Probabilistic Strategies in Inductive Inference. 111-133 - Dario Bini:
On Commutativity and Approximation. 135-150 - Simona Ronchi Della Rocca, Betti Venneri
:
Principal Type Schemes for an Extended Type Theory. 151-169 - César Fernández, P. S. Thiagarajan:
D-Continuous Causal Nets: A Model of Non-Sequential Processes. 171-196 - Andrzej Ehrenfeucht, Grzegorz Rozenberg, R. Verraedt:
On Inherently Ambiguous E0L Languages. 197-214 - Jan A. Bergstra, John V. Tucker:
Hoare's Logic for Programming Languages with two Data Types. 215-221 - Taiho Kanaoka, Shingo Tomita:
The Decomposition of Stochastic Systems. 223-233 - J. Roger Hindley:
Coppo-Dezani Types do not Correspond to Propositional Logic. 235-236 - Philip T. Cox, Tomasz Pietrzykowski:
A Complete, Nonredundant Algorithm for Reversed Skolemization. 239-261 - David G. Kirkpatrick, Stefan Reisch:
Upper Bounds for Sorting Integers on Random Access Machines. 263-276 - Walter Bucher, Hermann A. Maurer, Karel Culík II:
Context-Free Complexity of Finite Languages. 277-285 - Francesco Parisi-Presicce:
Iterative Factor Algebras and Induced Metrics. 287-298 - Alica Kelemenová:
Complexity of Normal Form Grammars. 299-314 - Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki:
Characterization of omega-Regular Languages by First-Order Formulas. 315-327 - Dominique Perrin:
Completing Biprefix Codes. 329-336 - Norbert Blum:
A Boolean Function Requiring 3n Network Size. 337-345 - John J. Grefenstette:
Corrigendum: Stability in L Systems. 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.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
