default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
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 2024-11-25 22:44 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:
