Formally Proving the Boolean Triples Conjecture
- Luis Cruz-Filipe
- , Peter Schneider-Kamp
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review