Proving inductive validity of constrained inequalities-Reference-Cited by-同舟云学术

Proving inductive validity of constrained inequalities

Published:2016-09-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Nagao Takahiro¹,Nishida Naoki¹

Affiliation:

1. Nagoya University, Nagoya, Japan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2967973.2968598

Reference26 articles.

1. T. Aoto. Soundness of rewriting induction based on an abstract principle. IPSJ Transactions on Programming 49(SIG 1 (PRO 35)):28--38 2008. T. Aoto. Soundness of rewriting induction based on an abstract principle. IPSJ Transactions on Programming 49(SIG 1 (PRO 35)):28--38 2008.

2. Termination of term rewriting using dependency pairs

3. Automated Theorem Proving by Test Set Induction

4. A. Bouhoula and F. Jacquemard . Automated induction with constrained tree automata. In A. Armando P. Baumgartner and G. Dowek editors Proceedings of the 4th International Joint Conference on Automated Reasoning volume 5195 of Lecture Notes in Computer Science pages 539 -- 554 . Springer 2008 . 10.1007/978-3-540-71070-7_44 A. Bouhoula and F. Jacquemard. Automated induction with constrained tree automata. In A. Armando P. Baumgartner and G. Dowek editors Proceedings of the 4th International Joint Conference on Automated Reasoning volume 5195 of Lecture Notes in Computer Science pages 539--554. Springer 2008. 10.1007/978-3-540-71070-7_44

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Operationally-based program equivalence proofs using LCTRSs;Journal of Logical and Algebraic Methods in Programming;2023-10

2. Exploratory Analysis of Internet of Things (IoT) in Healthcare: A Topic Modelling & Co-citation Approaches;Information Systems Management;2020-04-23

3. Rewriting induction for constrained inequalities;Science of Computer Programming;2018-04