Unification theory
- 30 April 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (3-4) , 207-274
- https://doi.org/10.1016/s0747-7171(89)80012-4
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Automating Higher-Order LogicContemporary Mathematics, 1984
- A fast string searching algorithmCommunications of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- AUTOMATED LOGIC FOR SEMI-AUTOMATED MATHEMATICSPublished by Defense Technical Information Center (DTIC) ,1964
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935
- Ueber die Auflösung linearer Gleichungen mit reellen CoefficientenMathematische Annalen, 1873