Publication | Open Access
Renaming a Set of Clauses as a Horn Set
125
Citations
2
References
1978
Year
SyntaxAutomated ReasoningLinguisticsLanguage StudiesSemanticsHigher-order LogicUnification GrammarSyntactic StructureHorn SetAbstract Object Theory
No abstract available.
| Year | Citations | |
|---|---|---|
Page 1
Page 1