Utabcert is a Coq formalization of equivalence and containment results obtained by Sagiv and Yannakakis (Equivalence Among Relational Expressions with the Union and Difference Operators).

Name
Last commit
Last update
coq Loading commit data...
datacert Loading commit data...
dbpl_paper Loading commit data...
documentation Loading commit data...
thesis Loading commit data...