![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 34
Volume 34, 1984
- Jaroslav Nesetril
:
Some Nonstandard Ramsey Like Applications. 3-15 - Juris Hartmanis, Yaacov Yesha:
Computation Times of NP Sets of Different Densities. 17-32 - Glynn Winskel:
Synchronization Trees. 33-82 - Rocco De Nicola, Matthew Hennessy:
Testing Equivalences for Processes. 83-133 - J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer:
Linear Time and Branching Time Semantics for Recursion with Merge. 135-156 - Paul M. B. Vitányi:
On the Simulation of Many Storage Heads by One. 157-168 - Marie-Pierre Delest, Gérard Viennot:
Algebraic Languages and Polyominoes Enumeration. 169-206 - Arjen K. Lenstra:
Factoring Multivariate Integral Polynomials. 207-213 - Shimon Cohen, Daniel Lehmann, Amir Pnueli:
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. 215-225 - Taisuke Sato
, Hisao Tamaki:
Enumeration of Success Patterns in Logic Programs. 227-240 - Mireille Clerbout, Michel Latteux:
Partial Commutations and Faithful Rational Transductions. 241-254 - Yair Itzhaik, Amiram Yehudai:
New Families of Non Real Time DPDA's and their Decidability Results. 255-274 - Tsutomu Kamimura, Adrian Tang:
Total Objects of Domains. 275-288 - Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich:
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. 289-313 - Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami:
Membership Problems for Data Dependencies in Relational Expressions. 315-335 - Uwe Schöning:
On Small Generators. 337-341 - François Bancilhon, Philippe Richard:
A Sound and Complete Axiomatization of Embedded Cross Dependencies. 343-350
![](https://dblp.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.