Subject
Computational Mathematics,Algebra and Number Theory
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs;Functional and Logic Programming;2022
2. SPIKE, an automatic theorem prover — revisited;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
3. Rewriting induction for constrained inequalities;Science of Computer Programming;2018-04
4. Verifying Procedural Programs via Constrained Rewriting Induction;ACM Transactions on Computational Logic;2017-06-23
5. Proving inductive validity of constrained inequalities;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05