Zoekresultaten
Resultaat 1 - 8 (van 8)
J.W. de Bakker | J.W. Klop | J.-J.Ch. Meyer Correctness of programs with function procedures
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.-J.Ch. Meyer A sound and complete logic for deontic reasoning
Non-fictie
Engels | 17 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
J.-J.Ch. Meyer Programming calculi based on fixed point transformations
semantics and applications
Non-fictie
Engels | 261 pagina's | Centrum voor Wiskunde en Informatica, [Amsterdam] | 1985
Gedrukt boek
J.-J.Ch. Meyer Process modalities obtained as fixed points
Non-fictie
Engels | 21 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.-J.Ch. Meyer A different approach to deontic logic
deontic logic viewed as a variant of dynamic logic
Non-fictie
Engels | 30 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Making some issues of implicit knowledge explicit
Non-fictie
Engels | 31 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Explicitating some issues in implicit knowledge
Non-fictie
Engels | 19 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.A. Bergstra | J.-J.Ch. Meyer On specifying sets of integers
Non-fictie
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek