default search action
JCSS, Volume 19
Volume 19, Number 1, August 1979
- Claude Pair, M. Amirchahy, D. Neel:
Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. 1-17 - Carlton J. Maxson, Kirby C. Smith:
Automorphisms of Linear Automata. 18-26 - Mitchell Wand:
Final Algebra Semantics and Data Type Extensions. 27-44 - Meera Blattner, Tom Head:
The Decidability of Equivalence for Deterministic Finite Transducers. 45-49 - David B. Benson:
Parameter Passing in Nondeterministic Recursive Programs. 50-62 - Michael A. Harrison, Amiram Yehudai:
A Hierarchy of Deterministic Languages. 63-78 - Emily P. Friedman, Sheila A. Greibach:
Superdeterministic DPDAS: The Method for Accepting Does Affect Decision Problems. 79-117
Volume 19, Number 2, October 1979
- Tero Harju
:
A Simulation Result for the Auxiliary Pushdown Automata. 119-132 - Giorgio Germano, Andrea Maggiolo-Schettini:
Computable Stack Functions for Semantics of Stack Programs. 133-144 - Eitan M. Gurari, Oscar H. Ibarra:
Simple Counter Machines and Number-Theoretic Problems. 145-162 - Jirí Adámek, Václav Koubek:
Least Fixed Point of a Functor. 163-178 - Grzegorz Rozenberg, Dirk Vermeir:
On Recursion in ET0L Systems. 179-196 - Wolfgang J. Paul:
On Time Hierarchies. 197-202 - Tom Head:
Codeterministic Lindenmayer Schemes and Systems. 203-210
Volume 19, Number 3, December 1979
- Sharad V. Kanetkar, Meghanad D. Wagh:
Group Character Tables in Discrete Transform Theory. 211-221 - Harry B. Hunt III:
Observations on the Complexity of Regular Expression Problems. 222-236 - Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir:
On ET0L Systems with Rank. 237-255 - Ronald V. Book, Sheila A. Greibach, Celia Wrathall:
Reset Machines. 256-276 - G. Naudé:
Universal Realization. 277-289 - Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever:
Semantics of Nondeterminism, Concurrency, and Communication. 290-308 - Akihiro Nozaki:
Sorting Using Networks of Deques. 309-315
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-23 19:20 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: