| Connection-Minimal Abduction in EL via Translation to FOL
|
2022 |
Haifani, Fajar |
| Preprocessing of Propagation Redundant Clauses
|
2022 |
Reeves, Joseph E. |
| Reasoning About Vectors Using an SMT Theory of Sequences
|
2022 |
Sheng, Ying |
| CTL∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic
|
2022 |
Felli, Paolo |
| An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
|
2022 |
Bromberger, Martin |
| From the Universality of Mathematical Truth to the Interoperability of Proof Systems
|
2022 |
Dowek, Gilles |
| Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
|
2022 |
Albert, Elvira |
| Cyclic Proofs, Hypersequents, and Transitive Closure Logic
|
2022 |
Das, Anupam |
| Local Reductions for the Modal Cube
|
2022 |
Nalon, Cláudia |
| Sequent Calculi for Choice Logics
|
2022 |
Bernreiter, Michael |
| Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)
|
2022 |
Suda, Martin |
| Rensets and Renaming-Based Recursion for Syntax with Bindings
|
2022 |
Popescu, Andrei |
| Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
|
2022 |
Frohn, Florian |
| Implicit Definitions with Differential Equations for KeYmaera X
|
2022 |
Gallicchio, James |
| Flexible Proof Production in an Industrial-Strength SMT Solver
|
2022 |
Barbosa, Haniel |
| Lash 1.0 (System Description)
|
2022 |
Brown, Chad E. |
| Evonne: Interactive Proof Visualization for Description Logics (System Description)
|
2022 |
Alrabbaa, Christian |
| Paraconsistent Gödel Modal Logic
|
2022 |
Bílková, Marta |
| Non-associative, Non-commutative Multi-modal Linear Logic
|
2022 |
Blaisdell, Eben |
| Binary Codes that Do Not Preserve Primitivity
|
2022 |
Holub, Štěpán |
Tag hinzufügen