The following pages link to (Q5663380):
Displaying 5 items.
- A graph unification machine for NL parsing (Q597235) (← links)
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- Structure sharing for quantified terms: Fundamentals (Q911773) (← links)
- The calculus of context relations (Q918720) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
