default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 12
Volume 12, 1980
- Jeffrey M. Jaffe:
Efficient Scheduling of Tasks without Full Use of Processor Resources. 1-17 - Nasser Saheb-Djahromi:
CPO'S of Measures for Nondeterminism. 19-37 - Józef Winkowski:
Behaviours of Concurrent Systems. 39-60 - David Harel:
Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. 61-81 - Giorgio Ausiello, Alberto Marchetti-Spaccamela
, Marco Protasi:
Toward a Unified Approach for the Classification of NP-Complete Optimization Problems. 83-96 - Louis Monier:
Evaluation and Comparison of Two Efficient Probabilistic Primality Testing Algorithms. 97-108 - Maurice Mignotte:
Tests de Primalite. 109-117 - Philip W. Grant:
Some More Independence Results in Complexity Theory. 119-126 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On Ambiguity in E0L Systems. 127-134 - Hermann A. Maurer, Arto Salomaa, Derick Wood:
Synchronized E0L Forms. 135-159 - Dana Angluin:
On Counting Problems and the Polynomial-Time Hierarchy. 161-173 - Guy Cousineau:
An Algebraic Definition for Control Structures. 175-192 - John C. Beatty:
Two Iteration Theorems for the LL(k) Languages. 193-228 - Jerzy Tiuryn:
Unique Fixed Points Vs. Least Fixed Points. 229-254 - David P. Dobkin, J. Ian Munro:
Determining the Mode. 255-263 - Aravind K. Joshi, Leon S. Levy, Kang Yueh:
Local Constraints in Programming Languages Part I: Syntax. 265-290 - Derek C. Oppen:
Complexity, Convexity and Combinations of Theories. 291-302 - Leslie G. Valiant:
Negation can be Exponentially Powerful. 303-314 - J. Ian Munro, Mike Paterson:
Selection and Sorting with Limited Storage. 315-323 - Jean-Marie Boë, Aldo de Luca, Antonio Restivo:
Minimal Complete Sets of Words. 325-332 - John Gill, James Hunt, Janos Simon:
Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers. 333-338 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On a Bound for the D0L Sequence Equivalence Problem. 339-342
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-04 22:08 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:
