default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 80
Volume 80, Number 1, 1991
- Wolfgang Reisig:
Petri Nets and Algebraic Specifications. 1-34 - Ferenc Gécseg, Helmut Jürgensen:
On alpha-0-nu-1-Products of Automata. 35-51 - Stephan Heilbrunner, Lothar Schmitz:
An Efficient Recognizer for the Boolean Closure of Context-Free Languages. 53-75 - Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen:
Global and Local Views of State Fairness. 77-104 - Patrick Powell, Viet Ngo:
Complexity of Optimal Vector Code Generation. 105-115 - Gerhard Hofer:
Experiments and Stability in Group Automata. 117-120
Volume 80, Number 2, 1991
- Hajnal Andréka, István Németi, Ildikó Sain:
On the Strength of Temporal Proofs. 125-151 - Bruno Courcelle:
The Monadic Second-Order Logic of Graphs V: On Closing the Gap Between Definability and Recognizability. 153-202 - Lane A. Hemachandra
, Albrecht Hoene, Dirk Siefkes, Paul Young:
On Sets Polynomially Enumerable by Iteration. 203-225 - Sebastian Iwanowski:
Testing Approximate Symmetry in the Plane is NP-Hard. 227-262 - Ernst-Rüdiger Olderog:
Correctness of Concurrent Processes. 263-288 - Desh Ranjan, Richard Chang, Juris Hartmanis:
Space Bounded Computations: Review and New Separation Results. 289-302 - Bernhard Steffen, Jens Knoop:
Finite Constants: Characterizations of a New Decidable Set of Constants. 303-318 - Danuta Szczepanska:
A Hoare-Like Verification System for a Language with an Exception Handling Mechanism. 319-335 - Juraj Wiedermann:
On the Computational Efficiency of Symmetric Neural Networks. 337-345
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 2025-12-02 23:36 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:
