Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence
Collection
Collection
- ISSN: 03029743
Published by Springer
-
Least fixed points revisited In Proceedings
March 1975 -
July 1977 -
Preface Preface
January 1980 -
Semantics of unbounded nondeterminism In Proceedings
January 1980 -
July 1980 -
A characterisation of computable data types by means of a finite equational specification method In Proceedings
July 1980 -
Relativized obliviousness In Proceedings
September 1980 -
July 1982