Adel Bouhoula

zbMath Openbouhoula.adelMaRDI QIDQ420846

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	2015-09-17	Paper
Sufficient completeness verification for conditional and constrained TRS	2012-05-23	Paper
Automated Induction with Constrained Tree Automata	2008-11-27	Paper
Automata-driven automated induction	2003-01-14	Paper
Observational proofs by rewriting.	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4537505	2002-07-01	Paper
Specification and proof in membership equational logic	2000-06-04	Paper
Automated theorem proving by test set induction	1997-05-28	Paper
Using induction and rewriting to verify and complete parameterized specifications	1997-02-27	Paper
Automated Mathematical Induction	1996-02-20	Paper
Implicit induction in conditional theories	1995-05-30	Paper

Research outcomes over time

This page was built for person: Adel Bouhoula