Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theoretical Computer Science: Computability, Decidability and Logic;A Guided Tour of Artificial Intelligence Research;2020
2. Inductive proof search modulo;Annals of Mathematics and Artificial Intelligence;2009-02
3. Lexicographic Path Induction;Lecture Notes in Computer Science;2009
4. Computation with classical sequents;Mathematical Structures in Computer Science;2008-06
5. Superdeduction at Work;Rewriting, Computation and Proof