Pages that link to "Item:Q972435"
From MaRDI portal
The following pages link to On the membership problem for non-linear abstract categorial grammars (Q972435):
Displaying 5 items.
- An alternate proof of Statman's finite completeness theorem (Q436624) (← links)
- A polynomial algorithm for the membership problem with categorial grammars (Q671431) (← links)
- The IO and OI hierarchies revisited (Q2347807) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825) (← links)