Alles van: J.C. van de Pol
Resultaat 1 - 19 (van 19)
A.J. Wijs | J.C. van de Pol | E. Bortnik Solving scheduling problems by untimed model checking
Non-fictie
Engels | 21 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
J.C. van de Pol | Olga Tveretina A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
J.C. van de Pol | Miguel Valero Espada Modal abstractions in →m⇋CRL
Non-fictie
Engels | 52 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
B. Badban | J.C. van de Pol Two solutions to incorporate zero, successor and equality in binary decision diagrams
Non-fictie
Engels | 26 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
J.C. van de Pol A prover for the →m⇋CRL toolset with applications
version O.1
Non-fictie
Engels | 32 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
J.C. van de Pol Just-in-time: on strategy annotations
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
H. Zantema | J.C. van de Pol A rewriting approach to binary decision diagrams
Non-fictie
Engels | 28 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2001
Gedrukt boek
J.F. Groote | J.C. van de Pol State space reduction using partical →t⇋-confluence
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.F. Groote | J.C. van de Pol Equational binary decision diagrams
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.C. van de Pol Expressiveness of basic Splice
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.C. van de Pol | H. Zantema Binary decision diagrams by shared rewriting
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.C. van de Pol | J. Hooman | Edwin de Jong Requirements specification and analysis of command and control systems
Non-fictie
Engels | 76 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1999
Gedrukt boek
J.F. Groote | F. Monin | J.C. van de Pol Checking verifications of protocols and distributed systems by computer
extended version of a tutorial at CONCUR '98
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek
J.A. Bergstra | J.C. van de Pol A calculus for sequential logic with 4 values
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | J.C. van de Pol Correct transformation of rewrite systems for implementation purposes
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
J.C. van de Pol Operational semantics of term rewriting with priorities
Non-fictie
Engels | 30 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
J.C. van de Pol Termination of higher-order rewrite systems
Non-fictie
Engels | 147 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
J.F. Groote | J.C. van de Pol A bounded retransmission protocol for large data packets
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
J.C. van de Pol Proving termination of higher-order rewrite systems
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek