Author:
Aravantinos Vincent,Caferra Ricardo,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Special Case of Schematic Syntactic Unification;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
2. Reasoning on Schemas of Formulas: An Automata-Based Approach;Language and Automata Theory and Applications;2015
3. PROOFTOOL: a GUI for the GAPT Framework;Electronic Proceedings in Theoretical Computer Science;2013-07-05