Items where Author is "Groote, Jan Friso"

Item Type No Grouping

Article

Binary decision diagrams for first-order predicate logic. (2003) Jan Friso Groote and Olga Tveretina