Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emmanuel Kounalis
@article{DBLP:journals/scp/PonsiniFK05,
author = {Olivier Ponsini and
Carine F{\'{e}}d{\`{e}}le and
Emmanuel Kounalis},
title = {Rewriting of imperative programs into logical equations},
journal = {Sci. Comput. Program.},
volume = {56},
number = {3},
pages = {363--401},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.10.001},
doi = {10.1016/J.SCICO.2004.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PonsiniFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/UrsoK04,
author = {Pascal Urso and
Emmanuel Kounalis},
title = {Sound generalizations in mathematical induction},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {443--471},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.05.022},
doi = {10.1016/J.TCS.2004.05.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/UrsoK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/UrsoK03,
author = {Pascal Urso and
Emmanuel Kounalis},
editor = {Robert Nieuwenhuis},
title = {"Term Partition" for Mathematical Induction},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {352--366},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_25},
doi = {10.1007/3-540-44881-0\_25},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/UrsoK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/UrsoK02,
author = {Pascal Urso and
Emmanuel Kounalis},
editor = {Michel Rueher},
title = {G{\'{e}}n{\'{e}}ralisations correctes pour l'induction math{\'{e}}matique},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
pages = {211},
year = {2002},
timestamp = {Mon, 24 May 2004 15:53:56 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/UrsoK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/KounalisU99,
author = {Emmanuel Kounalis and
Pascal Urso},
editor = {Amruth N. Kumar and
Ingrid Russell},
title = {Generalization Discovery for Proofs by Induction in Conditional Theories},
booktitle = {Proceedings of the Twelfth International Florida Artificial Intelligence
Research Society Conference, May 1-5, 1999, Orlando, Florida, {USA}},
pages = {250--256},
publisher = {{AAAI} Press},
year = {1999},
url = {http://www.aaai.org/Library/FLAIRS/1999/flairs99-045.php},
timestamp = {Wed, 26 Oct 2022 08:35:36 +0200},
biburl = {https://dblp.org/rec/conf/flairs/KounalisU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/KounalisU99,
author = {Emmanuel Kounalis and
Pascal Urso},
editor = {Ibrahim F. Imam and
Yves Kodratoff and
Ayman El{-}Dessouki and
Moonis Ali},
title = {Mechanizing Proofs of Integrity Constraints in the Situation Calculus},
booktitle = {Multiple Approaches to Intelligent Systems, 12th International Conference
on Industrial and Engineering Applications of Artificial Intelligence
and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1611},
pages = {372--381},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48765-4\_41},
doi = {10.1007/978-3-540-48765-4\_41},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/KounalisU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FedeleK99,
author = {Carine F{\'{e}}d{\`{e}}le and
Emmanuel Kounalis},
title = {Automatic Proofs of Properties of Simple C\({}^{\mbox{-}}\) Modules},
booktitle = {The 14th {IEEE} International Conference on Automated Software Engineering,
{ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
pages = {283--286},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASE.1999.802322},
doi = {10.1109/ASE.1999.802322},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FedeleK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KounalisR95,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {Reasoning with Conditional Axioms},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {125--149},
year = {1995},
url = {https://doi.org/10.1007/BF01534452},
doi = {10.1007/BF01534452},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KounalisR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BouhoulaKR95,
author = {Adel Bouhoula and
Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {Automated Mathematical Induction},
journal = {J. Log. Comput.},
volume = {5},
number = {5},
pages = {631--668},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.5.631},
doi = {10.1093/LOGCOM/5.5.631},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BouhoulaKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChazarainK94,
author = {Jacques Chazarain and
Emmanuel Kounalis},
editor = {Alan Bundy},
title = {Mechanizable Inductive Proofs for a Class of Forall Exists Formulas},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {118--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_9},
doi = {10.1007/3-540-58156-1\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChazarainK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/KounalisR93,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {A Logical Framework for Concept Learning with Background Knowledge},
journal = {Int. J. Artif. Intell. Tools},
volume = {2},
number = {3},
pages = {329--348},
year = {1993},
url = {https://doi.org/10.1142/S0218213093000175},
doi = {10.1142/S0218213093000175},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/KounalisR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Kounalis92,
author = {Emmanuel Kounalis},
title = {Learning from Examples in Universe of Discourse Described by a Set
of equations},
journal = {Int. J. Artif. Intell. Tools},
volume = {1},
number = {3},
pages = {333--350},
year = {1992},
url = {https://doi.org/10.1142/S0218213092000235},
doi = {10.1142/S0218213092000235},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/Kounalis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kounalis92,
author = {Emmanuel Kounalis},
title = {Testing for the Ground (Co-)Reducibility Property in Term-Rewriting
Systems},
journal = {Theor. Comput. Sci.},
volume = {106},
number = {1},
pages = {87--117},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90279-O},
doi = {10.1016/0304-3975(92)90279-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kounalis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Kounalis92,
author = {Emmanuel Kounalis},
editor = {Bernd Neumann},
title = {A Simplification-Based Approach to Program Synthesis},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {82--86},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Kounalis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BouhoulaKR92,
author = {Adel Bouhoula and
Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Andrei Voronkov},
title = {SPIKE, an Automatic Theorem Prover},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {460--462},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013087},
doi = {10.1007/BFB0013087},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BouhoulaKR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KounalisR91,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {On Word Problems in Horn Theories},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {113--127},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80134-4},
doi = {10.1016/S0747-7171(08)80134-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KounalisR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KounalisR91,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Studies on the Ground Convergence Property of Conditional Theories},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {363--376},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/KounalisR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KounalisR91,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Lothar Budach},
title = {Automatic Proof Methods for Algebraic Specifications},
booktitle = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
'91, Gosen, Germany, September 9-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {529},
pages = {307--317},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54458-5\_75},
doi = {10.1007/3-540-54458-5\_75},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/KounalisR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/KounalisLP91,
author = {Emmanuel Kounalis and
Denis Lugiez and
Loic Pottier},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {A Solution of the Complement Problem in Associative-Commutative Theories},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {197--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_39},
doi = {10.1007/3-540-56730-5\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/KounalisLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KounalisLP91,
author = {Emmanuel Kounalis and
Denis Lugiez and
Loic Pottier},
editor = {Andrzej Tarlecki},
title = {A Solution of the Complement Problem in Associative-Commutative Theories},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {287--297},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_72},
doi = {10.1007/3-540-54345-7\_72},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KounalisLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KounalisL91,
author = {Emmanuel Kounalis and
Denis Lugiez},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Compilation of Pattern Matching with Associative-Commutative Functions},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {57--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_4},
doi = {10.1007/3-540-53982-4\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KounalisL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KounalisR90,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
title = {Mechanizing inductive reasoning},
journal = {Bull. {EATCS}},
volume = {41},
pages = {216--226},
year = {1990},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/KounalisR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KounalisR90,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Mechanizing Inductive Reasoning},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {240--245},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-037.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KounalisR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Kounalis90,
author = {Emmanuel Kounalis},
editor = {Andr{\'{e}} Arnold},
title = {Testing for Inductive (Co)-Reducibility},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {221--238},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_51},
doi = {10.1007/3-540-52590-4\_51},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Kounalis90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/KounalisR90,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {A Proof System for Conditional Algebraic Specifications},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {51--63},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_80},
doi = {10.1007/3-540-54317-1\_80},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/KounalisR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Kounalis90,
author = {Emmanuel Kounalis},
title = {Learning from examples and counterexamples with equational background
knowledge},
booktitle = {Proceedings of the 2nd International {IEEE} Conference on Tools for
Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
1990},
pages = {254--260},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/TAI.1990.130343},
doi = {10.1109/TAI.1990.130343},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Kounalis90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kounalis90,
author = {Emmanuel Kounalis},
editor = {Branislav Rovan},
title = {Pumping Lemmas for Tree Languages Generated by Rewrite Systems},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {452},
pages = {369--377},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0029631},
doi = {10.1007/BFB0029631},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kounalis90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JouannaudK89,
author = {Jean{-}Pierre Jouannaud and
Emmanuel Kounalis},
title = {Automatic Proofs by Induction in Theories without Constructors},
journal = {Inf. Comput.},
volume = {82},
number = {1},
pages = {1--33},
year = {1989},
url = {https://doi.org/10.1016/0890-5401(89)90062-X},
doi = {10.1016/0890-5401(89)90062-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JouannaudK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KounalisR88,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {On Word Problems in Horn Theories},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {527--537},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012854},
doi = {10.1007/BFB0012854},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KounalisR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/KounalisR87,
author = {Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {St{\'{e}}phane Kaplan and
Jean{-}Pierre Jouannaud},
title = {On Word Problems in Horn Theories},
booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay,
France, July 8-10, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {308},
pages = {144--160},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19242-5\_12},
doi = {10.1007/3-540-19242-5\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/KounalisR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JouannaudK86,
author = {Jean{-}Pierre Jouannaud and
Emmanuel Kounalis},
title = {Automatic Proofs by Induction in Equational Theories Without Constructors},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {358--366},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JouannaudK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/JouannaudK85,
author = {Jean{-}Pierre Jouannaud and
Emmanuel Kounalis},
title = {Proofs by induction in equational theories without constructors},
journal = {Bull. {EATCS}},
volume = {27},
pages = {49--55},
year = {1985},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/JouannaudK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kounalis85,
author = {Emmanuel Kounalis},
editor = {Bob F. Caviness},
title = {Completeness in Data Type Specifications},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 2: Research Contributions},
series = {Lecture Notes in Computer Science},
volume = {204},
pages = {348--362},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15984-3\_291},
doi = {10.1007/3-540-15984-3\_291},
timestamp = {Tue, 29 Aug 2023 20:47:14 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kounalis85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
