( en | de | ru )

 

Disambiguation of "Kounalis, Emmanuel"

Author of the publication

copydeleteadd this publication to your clipboard
A Proof System for Conditional Algebraic Specifications.

, and . CTRS, volume 516 of Lecture Notes in Computer Science, page 51-63. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Emmanuel Umana

Emmanuel Dogbatse

Emmanuel Lule

Emmanuel Fiolitakis

Emmanuel Wiemer

 

Other publications of authors with the same name

SPIKE, an Automatic Theorem Prover., , and . LPAR, volume 624 of Lecture Notes in Computer Science, page 460-462. Springer, (1992)On Word Problems in Horn Theories., and . CTRS, volume 308 of Lecture Notes in Computer Science, page 144-160. Springer, (1987)Mechanizing Inductive Reasoning., and . AAAI, page 240-245. AAAI Press / The MIT Press, (1990)Testing for Inductive (Co)-Reducibility.. CAAP, volume 431 of Lecture Notes in Computer Science, page 221-238. Springer, (1990)Automatic Proof Methods for Algebraic Specifications., and . FCT, volume 529 of Lecture Notes in Computer Science, page 307-317. Springer, (1991)Pumping Lemmas for Tree Languages Generated by Rewrite Systems.. MFCS, volume 452 of Lecture Notes in Computer Science, page 369-377. Springer, (1990)Completeness in Data Type Specifications.. European Conference on Computer Algebra (2), volume 204 of Lecture Notes in Computer Science, page 348-362. Springer, (1985)Studies on the Ground Convergence Property of Conditional Theories., and . AMAST, page 363-376. Springer, (1991)Automatic Proofs by Induction in Equational Theories Without Constructors, and . LICS, page 358-366. IEEE Computer Society, (1986)A Simplification-Based Approach to Program Synthesis.. ECAI, page 82-86. John Wiley and Sons, (1992)