- Tytuł:
- Satisfiability Calculus : An Abstract Formulation of Semantic Proof Systems
- Autorzy:
-
Lopez Pombo, Carlos G.
Castro, Pablo F.
Aguirre, Nazareno M.
Maibaum, Thomas S. E. - Data publikacji:
- 2019
- Słowa kluczowe:
-
formal methods
institution theory
semantic proof systems - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł