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