| An SMT Theory of Fixed-Point Arithmetic
|
2020 |
Baranowski, Marek |
| Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
|
2020 |
Lampert, Timm |
| Politeness for the Theory of Algebraic Datatypes
|
2020 |
Sheng, Ying |
| Formalizing a Seligman-Style Tableau System for Hybrid Logic (Short Paper)
|
2020 |
From, Asta Halkjær |
| NP Reasoning in the Monotone μ-Calculus
|
2020 |
Hausmann, Daniel |
| A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
|
2020 |
Basin, David |
| How QBF Expansion Makes Strategy Extraction Hard
|
2020 |
Chew, Leroy |
| Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
|
2020 |
Angelis, Emanuele De |
| A Decision Procedure for String to Code Point Conversion
|
2020 |
Reynolds, Andrew |
| Possible Models Computation and Revision — A Practical Approach
|
2020 |
Baumgartner, Peter |
| A Comprehensive Framework for Saturation Theorem Proving
|
2020 |
Waldmann, Uwe |
| Description Logics with Concrete Domains and General Concept Inclusions Revisited
|
2020 |
Baader, Franz |
| Soft Subexponentials and Multiplexing
|
2020 |
Kanovich, Max |
| Covered Clauses Are Not Propagation Redundant
|
2020 |
Barnett, Lee A. |
| Monadic Decomposition in Integer Linear Arithmetic
|
2020 |
Hague, Matthew |
| Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols
|
2020 |
Baader, Franz |
| A Knuth-Bendix-Like Ordering for Orienting Combinator Equations
|
2020 |
Bhayat, Ahmed |
| Logic-Independent Proof Search in Logical Frameworks (Short Paper)
|
2020 |
Kohlhase, Michael |
| Layered Clause Selection for Theory Reasoning (Short Paper)
|
2020 |
Gleiss, Bernhard |
| Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints
|
2020 |
Piskac, Ruzica |
Tag hinzufügen