Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.
Saved in:
| Title: | Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. |
|---|---|
| Authors: | Lopez Pombo, Carlos G.1, clpombo@dc.uba.ar, Castro, Pablo F.2, pcastro@dc.exa.unrc.edu.ar, Aguirre, Nazareno M.2, naguirre@dc.exa.unrc.edu.ar, Maibaum, Thomas S.E.3, tom@maibaum.org |
| Source: | Fundamenta Informaticae; 2019, Vol. 166 Issue 4, p297-347, 51p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01692968 |
|---|---|
| DOI: | 10.3233/FI-2019-1804 |
