First Page | Document Content | |
---|---|---|
![]() Date: 2018-04-25 11:34:43Mathematics Theoretical computer science Mathematical logic Lemmas Model theory Interpolation Logic in computer science Craig interpolation Satisfiability modulo theories Farkas' lemma Quantifier elimination First-order logic | Add to Reading List |