Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Logic / Model theory / Logic in computer science / Semantics / Universal algebra / Boolean satisfiability problem / Interpretation / First-order logic / Resolution / Clause


Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK
Add to Reading List

Document Date: 2016-07-20 16:49:46


Open Document

File Size: 172,30 KB

Share Result on Facebook
UPDATE