Emmanuel Kounalis

Available identifiers

zbMath Open kounalis.emmanuelMaRDI QIDQ685351

List of research outcomes

Publication	Date of Publication	Type
A proof system for conditional algebraic specifications	2023-03-09	Paper
Mechanizable inductive proofs for a class of ∀ ∃ formulas	2020-01-21	Paper
Rewriting of imperative programs into logical equations	2005-08-05	Paper
Sound generalizations in mathematical induction	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4447244	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q2736358	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4266522	1999-10-04	Paper
Reasoning with conditional axioms	1997-01-14	Paper
Automated Mathematical Induction	1996-02-20	Paper
Testing for the ground (co-)reducibility property in term-rewriting systems	1993-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4035251	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4027631	1993-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q3976041	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4712663	1992-06-25	Paper
On word problems in Horn theories	1991-01-01	Paper
Automatic proofs by induction in theories without constructors	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798649	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818295	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713575	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690200	1985-01-01	Paper

Research outcomes over time

This page was built for person: Emmanuel Kounalis