Pages that link to "Item:Q549666"
From MaRDI portal
The following pages link to Automatic decidability and combinability (Q549666):
Displaying 9 items.
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- Self-assembly of decidable sets (Q553922) (← links)
- Modular instantiation schemes (Q1944184) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
- Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (Q2958392) (← links)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)
- Automatic Decidability and Combinability Revisited (Q3608782) (← links)