Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Algebra / Formal methods / Logic in computer science / Computability theory / Models of computation / Lambda calculus / Satisfiability modulo theories / -ring / De Bruijn index


Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 193,08 KB

Share Result on Facebook