First Page | Document Content | |
---|---|---|
Date: 2018-08-03 20:31:21Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term | An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2Add to Reading ListSource URL: seahorn.github.ioDownload Document from Source WebsiteFile Size: 515,41 KBShare Document on Facebook |