Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 20 results in range #1 to #20.
- Solving simplification ordering constraints: Label: en
- Some new decidability results on positive and negative set constraints: Label: en
- How to win a game with features: Label: en
- Set constraints in some equational theories: Label: en
- Buchberger's algorithm: A constraint-based completion procedure: Label: en
- Higher order conditional rewriting and narrowing: Label: en
- On modularity in term rewriting and narrowing: Label: en
- A record calculus with principal types: Label: en
- Path consistency in clp(FD): Label: en
- An efficient algorithm of logic programming with constraint hierarchy: Label: en
- Repeated redundant inequalities in constraint logic programming: Label: en
- “Syntactic” AC-unification: Label: en
- Higher order disunification: Some decidable cases: Label: en
- Modular AC unification of higher-order patterns: Label: en
- A confluent relational calculus for higher-order programming with constraints: Label: en
- Constraints for polymorphic behaviours of concurrent ML: Label: en
- A foundation for higher-order concurrent constraint programming: Label: en
- Ordered Binary Decision Diagrams and the Davis-Putnam procedure: Label: en
- Simplifying clausal satisfiability problems: Label: en
- Local simplification: Label: en
