Lecture Notes in Computer Science
Collection
Collection
- ISSN: 0302-9743
Published by Springer
-
Exercises in denotational semantics In Proceedings
January 1976
-
Criteria for transportable ALGOL libraries In Proceedings
January 1977
-
Semantic and proof theory of pascal procedures In Proceedings
July 1977
-
Cook's tour of countable nondeterminism In Proceedings
January 1981
-
Proof rules dealing with fairness In Proceedings
January 1982
-
January 1983
-
Factoring multivariate integral polynomials In Proceedings
January 1983 -
Linear time and branching time semantics for recursion with merge In Proceedings
J.W. de Bakker (Jaco), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)
January 1983
