The algebraic structure of transitive closure and its application to attribute type signatures

DOI10.1023/A:1009969528224zbMath0973.68044OpenAlexW1580266192MaRDI QIDQ5931133

Gerald Penn

Publication date: 6 May 2001

Published in: Grammars (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009969528224

zbMATH Keywords

head-driven phrase structure grammarlinguistic knowledge representation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Efficient transitive closure of sparse matrices over closed semirings ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures

This page was built for publication: The algebraic structure of transitive closure and its application to attribute type signatures