First Page | Document Content | |
---|---|---|
Date: 2017-09-19 19:50:55Theoretical 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 BlanchetteAdd to Reading ListSource URL: pxtp.github.ioDownload Document from Source WebsiteFile Size: 193,08 KBShare Document on Facebook |