31![Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016 Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016](https://www.pdfsearch.io/img/051743b0b9dfbcba0a121500c03171a5.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-05-03 10:44:18
|
---|
32![Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗](https://www.pdfsearch.io/img/590b8a8075de23444e8d2ffbcbe672b4.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
33![DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I](https://www.pdfsearch.io/img/1bee7db8f0d99aa1612f8f704e628cf5.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2005-06-14 03:44:48
|
---|
34![Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber](https://www.pdfsearch.io/img/258b7ad4fcb591f40163e99d8115c495.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2005-09-13 07:36:04
|
---|
35![System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal](https://www.pdfsearch.io/img/e22c3f7dd51485d8843e7bae14ee38a4.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2012-07-25 08:00:06
|
---|
36![Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920. Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920.](https://www.pdfsearch.io/img/e33698bfab3254df536425875fae1229.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-22 17:14:48
|
---|
37![Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia† Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia†](https://www.pdfsearch.io/img/b72fee92612d384cdf7d577f84650710.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2014-07-19 11:46:07
|
---|
38![Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber](https://www.pdfsearch.io/img/f54d4d128db8c17da55ac909b681734b.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2005-09-13 07:36:36
|
---|
39![Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener](https://www.pdfsearch.io/img/f06a0d2230c09dd9c0b3cc4f269fb6a6.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
40![Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in](https://www.pdfsearch.io/img/0b62867e35cd82008718c9ae36e59692.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2011-04-15 18:12:26
|
---|