Pages that link to "Item:Q1333268"
From MaRDI portal
The following pages link to Equational formulae with membership constraints (Q1333268):
Displaying 24 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)
- Tree Automata with Global Constraints (Q3533021) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Equational and membership constraints for infinite trees (Q5055789) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)
- Equality and disequality constraints on direct subterms in tree automata (Q5096779) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- Classes of Tree Homomorphisms with Decidable Preservation of Regularity (Q5458355) (← links)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)
