Pages that link to "Item:Q5901672"
From MaRDI portal
The following pages link to LATIN 2004: Theoretical Informatics (Q5901672):
Displaying 14 items.
- A decision procedure for the system E (of entailment). I (Q802540) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Proof certificates for equality reasoning (Q1744408) (← links)
- The small model property: How small can it be? (Q1854568) (← links)
- BDD based procedures for a theory of equality with uninterpreted functions (Q1870209) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- Generating minimum transitivity constraints in P-time for deciding equality logic (Q2864399) (← links)
- (Q3813316) (← links)
- Transforming equality logic to propositional logic (Q4916229) (← links)
- EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas (Q4982077) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308385) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464719) (← links)
- Computer Aided Verification (Q5716573) (← links)