Author:
Armando Alessandro,Rusinowitch Michaël,Stratulat Sorin
Subject
Computational Mathematics,Algebra and Number Theory
Reference31 articles.
1. Constraint contextual rewriting;Armando,1998
2. A. Armando, S. Ranise, Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS’2000), LNAI1794, 2000, Nancy, France, 47, 61
3. A. Armando, S. Ranise, M. Rusinowitch, Proceedings on the Annual Conference on Computer Science Logic (CSL01), LNCS 2142, 2001, Springer, 513, 527
4. N. Berregeb, A. Bouhoula, M. Rusinowitch, Proceedings of the 8th International Conference on Computer Aided Verification, LNCS 1102, 1996, New Jersey, USA, 220, 231
5. N. Bjørner, 1998, Private communication
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SPIKE, an automatic theorem prover — revisited;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
2. Mechanically certifying formula-based Noetherian induction reasoning;Journal of Symbolic Computation;2017-05
3. Inductive theorem proving based on tree grammars;Annals of Pure and Applied Logic;2015-06
4. Implementing Reasoning Modules in Implicit Induction Theorem Provers;2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing;2014-09
5. Research on the Maintenance Information System Design of Typical Small Arms;Applied Mechanics and Materials;2014-02-06