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 J. 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
Copyright © Fri Mar 12 17:33:06 2010
by Michael Ley (ley@uni-trier.de)
