Zoekresultaten
Resultaat 81 - 88 (van 88)
Pieter Niebert | Wojciech Penczek On the connection of partial order logics and partial order reduction methods
Non-fictie
Engels | 12 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
H.P. Korver A formal axiomatization for alphabet reasoning with parametrized processes
Non-fictie
Engels | 20 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Jean-Pierre van Draanen Models for simply typed lambda-calculi with fixed point combinators and enumerators
Non-fictie
Engels | 211 pagina's | 1995
Gedrukt boek
D. Dams | O. Grumberg | R. Gerth Abstract interpretation of reactive systems
preservation of CTL*
Non-fictie
Engels | 27 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Completing partial combinatory algebras with unique head-normal forms
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Philipp Rothmaler Introduction to model theory
Non-fictie
Engels | 305 pagina's | Gordon and Breach Science Publishers, Amsterdam [etc.] | 2000
Gedrukt boek
Fuzzy set theory and advanced mathematical applications
Non-fictie
Engels | 324 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1995
Gedrukt boek
F. van Raamsdonk | Paula Severi On normalisation
Non-fictie
Engels | 33 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek