Items where Author is "<span class="person_name">Groote, Jan Friso</span>"
Number of items: 1.
Article
  • Binary decision diagrams for first-order predicate logic. (2003) Jan Friso Groote and Olga Tveretina