The following pages link to Records for logic programming (Q4290618):
Displaying 22 items.
- Automata for unordered trees (Q515668) (← links)
- A complete and recursive feature theory (Q673135) (← links)
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Theories with the independence property (Q993495) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- How to win a game with features (Q1271569) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Situated simplification (Q1391936) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- Dominance constraints with Boolean connectives: A model-eliminative treatment (Q1870570) (← links)
- A rational reconstruction of the domain of feature structures (Q1903084) (← links)
- Constructing infinitary quotient-inductive types (Q2200826) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- Set constraints with intersection (Q2506490) (← links)
- An improved lower bound for the elementary theories of trees (Q4647523) (← links)
- Equational and membership constraints for infinite trees (Q5055789) (← links)
- Regular path expressions in feature logic (Q5055790) (← links)
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
- How to win a game with features (Q5096316) (← links)
- TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS (Q5249029) (← links)
- Combination of constraint systems II: Rational amalgamation (Q5958755) (← links)
