Back to Results
First PageMeta Content
Mathematics / 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 2
Add to Reading List

Document Date: 2018-08-03 20:31:21

Open Document

File Size: 515,41 KB

Share Result on Facebook