Pages that link to "Item:Q4023581"

The following pages link to The Logic of Typed Feature Structures (Q4023581):

Displaying 18 items.

• Similarity measures over refinement graphs (Q420926) (← links)
• A complete and recursive feature theory (Q673135) (← links)
• Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
• Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
• A formal approach to subgrammar extraction for NLP (Q1025681) (← links)
• Parsing schemata and correctness of parsing algorithms (Q1129124) (← links)
• Computing abstract decorations of parse forests using dynamic programming and algebraic power series (Q1129128) (← links)
• A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
• A feature constraint system for logic programming with entailment (Q1314426) (← links)
• Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
• Unification grammars and off-line parsability (Q1777374) (← links)
• Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
• Speeding up operations on feature terms using constraint programming and variable symmetry (Q2341834) (← links)
• On Type Coercion in Compositional and Lexical Semantics (Q3172833) (← links)
• A Set-Theoretical Approach for the Induction of Inheritance Hierarchies (Q4923573) (← links)
• Feature automata and recognizable sets of feature trees (Q5044748) (← links)
• (Q5859906) (← links)
• Efficient computation of overlay for multiple inheritance hierarchies in discourse modeling (Q6547648) (← links)