Adel Bouhoula

MaRDI QIDQ420846zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simultaneous checking of completeness and ground confluence for algebraic specifications ACM Transactions on Computational Logic	2015-09-17	Paper
Sufficient completeness verification for conditional and constrained TRS Journal of Applied Logic	2012-05-23	Paper
Automated Induction with Constrained Tree Automata Automated Reasoning	2008-11-27	Paper
Automata-driven automated induction Information and Computation	2003-01-14	Paper
Observational proofs by rewriting. Theoretical Computer Science	2002-07-31	Paper
scientific article; zbMATH DE number 1761886 (Why is no real title available?)	2002-07-01	Paper
Specification and proof in membership equational logic Theoretical Computer Science	2000-06-04	Paper
Automated theorem proving by test set induction Journal of Symbolic Computation	1997-05-28	Paper
Using induction and rewriting to verify and complete parameterized specifications Theoretical Computer Science	1997-02-27	Paper
Automated Mathematical Induction Journal Of Logic And Computation	1996-02-20	Paper
Implicit induction in conditional theories Journal of Automated Reasoning	1995-05-30	Paper

Research outcomes over time

This page was built for person: Adel Bouhoula