Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Structural and behavioral modeling with monadic logics;Ayari,1999
2. D. Basin, N. Klarlund, Hardware verification using monadic second-order logic, in: Computer Aided Verification: 7th Internat. Conf., CAV’95, no. 939, Lecture Notes in Computer Science, Springer, Berlin, 1995.
3. T. Becker, HyTAG: a new type of tree adjoining grammars for hybrid syntactic representation of free word order languages, Ph.D. Thesis, Universität des Saarlandes, Saarbrücken, 1993.
4. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Logik Grundlagen der Math.,1960
5. M.-H. Candito, A principle-based hierarchical representation of LTAGs, in: 16th Internat. Conf. on Computational Linguistics, COLING’96, Copenhagen, Denmark, 1996.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献