|
Search the dblp DataBase
W. P. Weijland:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jos C. M. Baeten, W. P. Weijland
Semantics for Prolog via Term Rewrite Systems. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:3-14 [Conf]
- W. P. Weijland
Semantics for Logic Programs without Occur Check. [Citation Graph (0, 0)][DBLP] ICALP, 1988, pp:710-726 [Conf]
- Rob J. van Glabbeek, W. P. Weijland
Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP] IFIP Congress, 1989, pp:613-618 [Conf]
- Rob J. van Glabbeek, W. P. Weijland
Branching Time and Abstraction in Bisimulation Semantics. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:3, pp:555-600 [Journal]
- Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop, W. P. Weijland
Term-Rewriting Systems with Rule Priorities. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:67, n:2&3, pp:283-301 [Journal]
- W. P. Weijland
Semantics for Logic Programs Without Occur Check. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:71, n:1, pp:155-174 [Journal]
Search in 0.001secs, Finished in 0.001secs
|