Zoekresultaten
Resultaat 1 - 3 (van 3)
R.J. van Glabbeek | W.P. Weijland Branching time and abstraction in bisimulation semantics
(extended abstract)
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
W.P. Weijland Semantics for logic programs without occur check
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | W.P. Weijland Semantics for prolog via term rewrite systems
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek