Pages that link to "Item:Q549666"

The following pages link to Automatic decidability and combinability (Q549666):

Displaying 5 items.

• Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← 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)
• Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)