Author:
Bouhoula Adel,Jacquemard Florent
Subject
Applied Mathematics,Logic
Reference35 articles.
1. Using induction and rewriting to verify and complete parameterized specifications;Bouhoula;Theoretical Computer Science,1996
2. Automated induction with constrained tree automata;Bouhoula,2008
3. Automata-driven automated induction;Bouhoula;Information and Computation,2001
4. Implicit induction in conditional theories;Bouhoula;Journal of Automated Reasoning,1995
5. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献