Zoekresultaten
Resultaat 1 - 3 (van 3)
J.F. Groote | Misa Keinänen Solving disjunctive/conjunctive boolean equation systems with alternating fixes points
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2003
Gedrukt boek
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek
J.F. Groote | M. Voorhoeve Operational semantics for Petri Net components
Non-fictie
Engels | 20 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek