Grammatical unification
- 31 October 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 15 (4) , 150-158
- https://doi.org/10.1016/0020-0190(82)90096-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- Horn clause computabilityBIT Numerical Mathematics, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965