W. P. Weijland

	1996
6		Rob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics. J. ACM 43(3): 555-600 (1996)
	1990
5		W. P. Weijland: Semantics for Logic Programs Without Occur Check. Theor. Comput. Sci. 71(1): 155-174 (1990)
	1989
4		Rob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). IFIP Congress 1989: 613-618
3		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): 283-301 (1989)
	1988
2		W. P. Weijland: Semantics for Logic Programs without Occur Check. ICALP 1988: 710-726
	1987
1		Jos C. M. Baeten, W. P. Weijland: Semantics for Prolog via Term Rewrite Systems. CTRS 1987: 3-14

Coauthor Index

1	Jos C. M. Baeten	[1] [3]
2	Jan A. Bergstra	[3]
3	Rob J. van Glabbeek	[4] [6]
4	Jan Willem Klop	[3]