Volume 34,
1984
- Jaroslav Nesetril:
Some Nonstandard Ramsey Like Applications.
3-15 BibTeX
- Juris Hartmanis, Yaacov Yesha:
Computation Times of NP Sets of Different Densities.
17-32 BibTeX
- Glynn Winskel:
Synchronization Trees.
33-82 BibTeX
- Rocco De Nicola, Matthew Hennessy:
Testing Equivalences for Processes.
83-133 BibTeX
- 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 BibTeX
- Paul M. B. Vitányi:
On the Simulation of Many Storage Heads by One.
157-168 BibTeX
- Marie-Pierre Delest, Gérard Viennot:
Algebraic Languages and Polyominoes Enumeration.
169-206 BibTeX
- Arjen K. Lenstra:
Factoring Multivariate Integral Polynomials.
207-213 BibTeX
- Shimon Cohen, Daniel J. Lehmann, Amir Pnueli:
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.
215-225 BibTeX
- Taisuke Sato, Hisao Tamaki:
Enumeration of Success Patterns in Logic Programs.
227-240 BibTeX
- Mireille Clerbout, Michel Latteux:
Partial Commutations and Faithful Rational Transductions.
241-254 BibTeX
- Yair Itzhaik, Amiram Yehudai:
New Families of Non Real Time DPDA's and their Decidability Results.
255-274 BibTeX
- Tsutomu Kamimura, Adrian Tang:
Total Objects of Domains.
275-288 BibTeX
- Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich:
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
289-313 BibTeX
- Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami:
Membership Problems for Data Dependencies in Relational Expressions.
315-335 BibTeX
- Uwe Schöning:
On Small Generators.
337-341 BibTeX
- François Bancilhon, Philippe Richard:
A Sound and Complete Axiomatization of Embedded Cross Dependencies.
343-350 BibTeX
Copyright © Mon Nov 17 21:06:52 2008
by Michael Ley (ley@uni-trier.de)
