Zoekresultaten
Resultaat 1 - 3 (van 3)
J.F. Groote | H. Zantema Resolution and binary decision diagrams cannot simulate each other polynomially
Non-fictie
Engels | 12 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.F. Groote | J.J. van Wamel The parallel composition of uniform processes with data
Non-fictie
Engels | 20 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek