The following pages link to (Q3992707):
Displaying 18 items.
- Order-sorted unification (Q582269) (← links)
- A graph unification machine for NL parsing (Q597235) (← links)
- A complete and recursive feature theory (Q673135) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- Semantics of types for database objects (Q915443) (← links)
- The calculus of context relations (Q918720) (← links)
- Modeling generalized implicatures using non-monotonic logics (Q1006457) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Parsing schemata and correctness of parsing algorithms (Q1129124) (← links)
- Using powerdomains to generalize relational databases (Q1183586) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Relating attribute grammars and lexical-functional grammars (Q1194806) (← links)
- Finite-state abstractions on Arabic morphology (Q1329226) (← 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)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- The logic of unification in grammar (Q3201038) (← links)
- Regular path expressions in feature logic (Q5055790) (← links)
