Author:
Degtyarev Anatoli,Gurevich Yuri,Narendran Paliath,Veanes Margus,Voronkov Andrei
Subject
General Computer Science,Theoretical Computer Science
Reference56 articles.
1. Theorem proving via general matings;Andrews;J. Assoc. Comput. Mach.,1981
2. Deduction. Automated Logic;Bibel,1993
3. Tree generating regular systems;Brainerd;Inform. Control,1969
4. Model Theory;Chang,1990
5. Bottom-up tree pushdown automata: classification and connection with rewrite systems;Coquidé;Theoret. Comput. Sci.,1994
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献