63 citations · 158 across the 14 of their papers we have counts for
Showing 1995Show all
2 papers · 1 filter
cmp-lg1995★ 2 cited
On Constraint-Based Lambek Calculi
Jochen Doerre, Suresh Manandhar
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which…
cmp-lg1995
Deterministic Consistency Checking of LP Constraints
Suresh Manandhar
We provide a constraint based computational model of linear precedence as employed in the HPSG grammar formalism. An extended feature logic which adds a wide range of constraints i…