Pages that link to "Item:Q1314426"

The following pages link to A feature constraint system for logic programming with entailment (Q1314426):

Displaying 22 items.

• A complete and recursive feature theory (Q673135) (← links)
• A new generic scheme for functional logic programming with constraints (Q880985) (← links)
• Anti-patterns for rule-based languages (Q968527) (← 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)
• Situated simplification (Q1391936) (← links)
• Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
• A rational reconstruction of the domain of feature structures (Q1903084) (← links)
• Ordering constraints over feature trees (Q1975203) (← links)
• Constructing infinitary quotient-inductive types (Q2200826) (← links)
• Set constraints with intersection (Q2506490) (← links)
• Distributive \(\rho\)-calculus (Q2873778) (← links)
• (Q4282498) (← links)
• Records for logic programming (Q4290618) (← links)
• An improved lower bound for the elementary theories of trees (Q4647523) (← links)
• A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
• How to win a game with features (Q5096316) (← links)
• Logical Aspects of Computational Linguistics (Q5706935) (← links)
• A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
• Combination of constraint systems II: Rational amalgamation (Q5958755) (← links)
• On the bounded theories of finite trees (Q6560360) (← links)