The following pages link to Gerald Penn (Q174823):
Displaying 5 items.
- Efficient transitive closure of sparse matrices over closed semirings (Q2368941) (← links)
- Categorial grammars determined from linguistic data by unification (Q2639050) (← links)
- (Q4599186) (← links)
- A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus (Q4923572) (← links)
- The algebraic structure of transitive closure and its application to attribute type signatures (Q5931133) (← links)
