Emmanuel Kounalis

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
A proof system for conditional algebraic specifications Conditional and Typed Rewriting Systems	2023-03-09	Paper
Mechanizable inductive proofs for a class of \(\forall \exists\) formulas Automated Deduction — CADE-12	2020-01-21	Paper
Rewriting of imperative programs into logical equations Science of Computer Programming	2005-08-05	Paper
Sound generalizations in mathematical induction Theoretical Computer Science	2004-10-01	Paper
scientific article; zbMATH DE number 2043540 (Why is no real title available?)	2004-02-16	Paper
scientific article; zbMATH DE number 1638660 (Why is no real title available?)	2001-08-29	Paper
scientific article; zbMATH DE number 1346499 (Why is no real title available?)	1999-10-04	Paper
Reasoning with conditional axioms Annals of Mathematics and Artificial Intelligence	1997-01-14	Paper
Automated Mathematical Induction Journal Of Logic And Computation	1996-02-20	Paper
Testing for the ground (co-)reducibility property in term-rewriting systems Theoretical Computer Science	1993-10-25	Paper
scientific article; zbMATH DE number 176149 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 125892 (Why is no real title available?)	1993-02-21	Paper
scientific article; zbMATH DE number 18637 (Why is no real title available?)	1992-06-26	Paper
scientific article; zbMATH DE number 4776 (Why is no real title available?)	1992-06-25	Paper
On word problems in Horn theories Journal of Symbolic Computation	1991-01-01	Paper
Automatic proofs by induction in theories without constructors Information and Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4064978 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4089521 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3943001 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3913659 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Emmanuel Kounalis