Search Results for author: Joan Thibault

Found 1 papers, 0 papers with code

Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

no code implementations20 Mar 2020 Joan Thibault, Khalil Ghorbal

We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view.

Negation

Cannot find the paper you are looking for? You can Submit a new open access paper.