![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 1
Volume 1, Number 1, 1975
- Arnold Schönhage:
A Lower Bound for the Length of Addition Chains. 1-12 - Mike Paterson:
Complexity of Monotone Networks for Boolean Matrix Product. 13-20 - Volker Strassen:
Die Berechnungskomplexität der Symbolischen Differentiation von Interpolationspolynomen. 21-25 - Gérard P. Huet:
A Unification Algorithm for Typed lambda-Calculus. 27-57 - Andrzej Ehrenfeucht, K. P. Lee, Grzegorz Rozenberg:
Subword Complexities of Various Classes of Deterministic Developmental Languages without Interactions. 59-75 - Ann Reedy, Walter J. Savitch:
The Turing Degree of the Inherent Ambiguity Problem for Context-Free Languages. 77-91
Volume 1, Number 2, 1975
- Antonio Restivo:
A Combinatorial Property of Codes Having Finite Synchronization Delay. 95-101 - Richard E. Ladner
, Nancy A. Lynch, Alan L. Selman:
A Comparison of Polynomial Time Reducibilities. 103-123 - Gordon D. Plotkin:
Call-by-Name, Call-by-Value and the lambda-Calculus. 125-159 - Lawrence H. Harper, W. N. Hsieh, S. E. Savage:
A Class of Boolean Functions with Linear Combinational Complexity. 161-183 - Franco P. Preparata:
A Fast Stable Sorting Algorithm with Absolutely Minimum Storage. 185-190
Volume 1, Number 3, 1976
- Robert Moll:
An Operator Embedding Theorem for Complexity Classes of Recursive Functions. 193-198 - Jan van Leeuwen, Derick Wood:
A Decomposition Theorem for Hyper-Algebraic Extensions of Language Families. 199-214 - Ronald V. Book:
Translational Lemmas, Polynomial Time, and (log n)^j-Space. 215-226 - Maurice Mignotte:
Algorithmes rélatifs á la décomposition dds oolynômes. 227-235 - M. R. Garey, David S. Johnson, Larry J. Stockmeyer:
Some Simplified NP-Complete Graph Problems. 237-267
Volume 1, Number 4, 1976
- Sheila A. Greibach:
Remarks on the Complexity of Nondeterministic Counter Languages. 269-288 - Claus-Peter Schnorr:
The Combinational Complexity of Equivalence. 289-295 - Emily P. Friedman:
The Inclusion Problem for Simple Languages. 297-316 - Juhani Karhumäki:
Two Theorems Concerning Recognizable N-Subsets of sigma*. 317-323 - Andrzej Ehrenfeucht, Grzegorz Rozenberg, Sven Skyum:
A Relationship between ET0L and EDT0L Languages. 325-330 - V. Wiktor Marek, Zdzislaw Pawlak:
Information Storage and Retrieval Systems: Mathematical Foundations. 331-354 - Michael L. Fredman:
How Good is the Information Theory Bound in Sorting? 355-361
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.