![](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 97
Volume 97, Number 1, 1992
- Jean-Yves Girard, Andre Scedrov
, Philip J. Scott:
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. 1-66 - Steven M. German:
Semantics and Reasoning with Free Procedures. 67-81 - Jean Perraud, Olivier F. Roux, Marc Huou:
Operational Semantics of a Kernel of the Language ELECTRE. 83-103 - Angelo Monfroglio:
Integer Programs for Logic Constraint Satisfaction. 105-130 - Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz:
Fairness, Distances and Degrees. 131-142 - Stefano Baratella
:
A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses. 143-156 - Trudy Weibel:
Extension of Combinatory Logic to a Theory of Combinatory Representation. 157-173 - Kees Doets:
A Slight Strengthening of a Theorem of Blair and Kunen. 175-181
Volume 97, Number 2, 1992
- Mark W. Krentel:
Generalizations of Opt P to the Polynomial Hierarchy. 183-198 - Osamu Watanabe, Shouwen Tang:
On Polynomial-Time Turing and Many-One Completeness in PSPACE. 199-215 - Heekeun Yoo, Kosaburo Hashiguchi:
Extended Regular Expressions of Arbitrary Star Degrees. 217-231 - David E. Muller, Ahmed Saoudi, Paul E. Schupp:
Alternating Automata, the Weak Monadic Theory of Trees and its Complexity. 233-244 - Georg Karner:
Nivat's Theorem for Pushdown Transducers. 245-262 - Richard A. Shore, Theodore A. Slaman:
The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory. 263-284 - Juraj Hromkovic, Sergej A. Lozkin, Andrej I. Rybko, Alexander A. Sapozhenko, Nadezda A. Skalikova:
Lower Bounds on the Area Complexity of Boolean Circuits. 285-300 - Giovanna Guaiana, Antonio Restivo, Sergio Salemi:
Star-Free Trace Languages. 301-311
![](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.