Adel Bouhoula

Available identifiers

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

This page was built for person: Adel Bouhoula