| |
| 1996 | ||
|---|---|---|
| 6 | EE | 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 | |
| 1 | Jos C. M. Baeten | [1] [3] |
| 2 | Jan A. Bergstra | [3] |
| 3 | Rob J. van Glabbeek | [4] [6] |
| 4 | Jan Willem Klop | [3] |