Theoretical Computer Science
Collection
Collection
- ISSN: 0304-3975
Published by Elsevier
-
Corrigendum: 'On infinite computations in denotational semantics' Article
Theoretical Computer Science, 29(1-2), 229-230.J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and J.I. Zucker
January 1984 -
Ten years of Hoare s logic, a survey, part II: n ondeterminism Article
Theoretical Computer Science, 83-109.January 1984
-
Linear time and branching time semantics for recursion with merge Article
Theoretical Computer Science, 34(1-2), 135-156.J.W. de Bakker (Jaco), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)
January 1984 -
Partial evaluation and $omega$-completeness of algebraic specifications Article
Theoretical Computer Science, 43(2-3), 149-167.January 1986
-
On the consistency of Koomen's fair abstraction rule Article
Theoretical Computer Science, 51(1-2), 129-176.J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Designing equivalent semantic models for process creation Article
Theoretical Computer Science, 60(2), 109-176.January 1988 -
Term-rewriting systems with rule priorities Article
Theoretical Computer Science, 67(2-3), 283-301.J.C.M. Baeten (Jos), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and W.P. Weijland
January 1989 -
Semantics for logic programs without occur check Article
Theoretical Computer Science, 71(1), 155-174.January 1990