Absence of Subtype Covering
task
ID: absenceofsubtypecovering
Related Papers
Tractability and Structural Closures in Attribute Logic Type Signatures
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in po- tential disagreement with current prac- tice among grammar developers and linguists working within …...