Pages that link to "Item:Q1333268"

The following pages link to Equational formulae with membership constraints (Q1333268):

Displaying 16 items.

• Regular expression order-sorted unification and matching (Q741252) (← links)
• Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
• How to win a game with features (Q1271569) (← links)
• Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
• Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
• On the complexity of equational problems in CNF (Q1404988) (← links)
• Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
• On deciding subsumption problems (Q1777407) (← links)
• Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582) (← links)
• Sequentiality, monadic second-order logic and tree automata. (Q1854333) (← links)
• Automata-driven automated induction (Q1854445) (← links)
• Specification and proof in membership equational logic (Q1978640) (← links)
• Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
• Decision procedures for term algebras with integer constraints (Q2432767) (← links)
• Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
• Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)