W. P. Weijland

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Rob J. van Glabbeek, W. P. Weijland
Branching Time and Abstraction in Bisimulation Semantics. J. ACM 43 (3) (1996)
W. P. Weijland
Semantics for Logic Programs Without Occur Check. Theor. Comput. Sci. 71 (1) (1990)
Rob J. van Glabbeek, W. P. Weijland
Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). IFIP Congress (1989)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop, W. P. Weijland
Term-Rewriting Systems with Rule Priorities. Theor. Comput. Sci. 67 (2&3) (1989)
W. P. Weijland
Semantics for Logic Programs without Occur Check. ICALP (1988)
Jos C. M. Baeten, W. P. Weijland
Semantics for Prolog via Term Rewrite Systems. CTRS (1987)