Zoekresultaten
Resultaat 1 - 2 (van 2)
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
Olga Tveretina Decision procedures for equality logic with uninterpreted functions
Non-fictie
Engels | 157 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
Gedrukt boek