A proof system for finite trees
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Syntactic codes and grammar refinementJournal of Logic, Language and Information, 1995
- A first-order axiomatization of the theory of finite treesJournal of Logic, Language and Information, 1995
- A specification language for lexical functional grammarsPublished by Association for Computational Linguistics (ACL) ,1995
- A selective undo mechanism for graphical user interfaces based on command objectsACM Transactions on Computer-Human Interaction, 1994
- 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
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979