A first-order axiomatization of the theory of finite trees
- 1 April 1995
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 4 (1) , 5-39
- https://doi.org/10.1007/bf01048403
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Linguistics, Logic and Finite TreesLogic Journal of the IGPL, 1994
- Mathematical aspects of command relationsPublished by Association for Computational Linguistics (ACL) ,1993
- Talking about treesPublished by Association for Computational Linguistics (ACL) ,1993
- Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.Notre Dame Journal of Formal Logic, 1989
- Parsing as deduction: The use of knowledge of languageJournal of Psycholinguistic Research, 1989
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- D-theoryPublished by Association for Computational Linguistics (ACL) ,1983
- 5. Unambiguous PathsPublished by Walter de Gruyter GmbH ,1981
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970