dblp.uni-trier.dewww.uni-trier.de

W. P. Weijland Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
6EERob 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
2EEW. 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)