Author:
Althaus Ernst,Kruglov Evgeny,Weidenbach Christoph
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1), 129–179 (2009)
2. Lecture Notes in Computer Science;E. Althaus,2009
3. Bachmair, L., Ganzinger, H., Waldmann, U.: Refutational theorem proving for hierarchic first-order theories. Applicable Algebra in Engineering, Communication and Computing, AAECC 5(3/4), 193–212 (1994)
4. Dimova, D.: On the translation of timed automata into first-order logic. In: Fietzke, A., Weidenbach, C. (supervisors) (2009)
5. Lecture Notes in Artificial Intelligence;L.M. Moura de,2008
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献