Binary decision diagrams for first-order predicate logic

J.F. Groote, O. Tveretina

Research output: Contribution to journal › Article › Academic › peer-review

20 Citations (Scopus)

Original language	English
Pages (from-to)	1-22
Journal	Journal of Logic and Algebraic Programming
Volume	57
Issue number	1-2
DOIs	https://doi.org/10.1016/S1567-8326(03)00039-0
Publication status	Published - 2003

Access to Document

@article{3a125194e748465a871a6c6e27b8ff38,

title = "Binary decision diagrams for first-order predicate logic",

author = "J.F. Groote and O. Tveretina",

year = "2003",

doi = "10.1016/S1567-8326(03)00039-0",

language = "English",

volume = "57",

pages = "1--22",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "1-2",

}