Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/hoa:"
download as .bib file
@inproceedings{DBLP:conf/alp/AbdennadherS97,
author = {Slim Abdennadher and
Heribert Sch{\"{u}}tz},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Model Generation with Existentially Quantified Variables and Constraints},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {256--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027015},
doi = {10.1007/BFB0027015},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/AbdennadherS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Almendros-JimenezG97,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Ana Gil{-}Luezas},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Lazy Narrowing with Parametric Order Sorted Types},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {159--173},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027009},
doi = {10.1007/BFB0027009},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Almendros-JimenezG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlpuenteFMV97,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Safe Folding/Unfolding with Conditional Narrowing},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {1--15},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026999},
doi = {10.1007/BFB0026999},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlpuenteFMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Antoy97,
author = {Sergio Antoy},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Optimal Non-deterministic Functional Logic Computations},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {16--30},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027000},
doi = {10.1007/BFB0027000},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Antoy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AotoT97,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {On Composable Properties of Term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {114--128},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027006},
doi = {10.1007/BFB0027006},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AotoT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BartheKR97,
author = {Gilles Barthe and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Explicit Substitutions for the Lambda-Calculus},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {209--223},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027012},
doi = {10.1007/BFB0027012},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BartheKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BartheR97,
author = {Gilles Barthe and
Femke van Raamsdonk},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Termination of Algebraic Type Systems: The Syntactic Approach},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {174--193},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027010},
doi = {10.1007/BFB0027010},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BartheR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CairesM97,
author = {Lu{\'{\i}}s Caires and
Lu{\'{\i}}s Monteiro},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Proof Net Semantics of Proof Search Computation},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {194--208},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027011},
doi = {10.1007/BFB0027011},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/CairesM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CesarM97,
author = {C{\'{e}}sar Mu{\~{n}}oz},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {A Left-Linear Variant of Lambda-Sigma},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {224--239},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027013},
doi = {10.1007/BFB0027013},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/CesarM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CodishT97,
author = {Michael Codish and
Cohavit Taboch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {A Semantic Basis for Termination Analysis of Logic Programs and Its
Realization Using Symbolic Norm Constraints},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {31--45},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027001},
doi = {10.1007/BFB0027001},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/CodishT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GeserG97,
author = {Alfons Geser and
Sergei Gorlatch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Parallelizing Functional Programs by Generalization},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {46--60},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027002},
doi = {10.1007/BFB0027002},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GeserG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KhasidashviliO97,
author = {Zurab Khasidashvili and
Mizuhito Ogawa},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Perpetuality and Uniform Normalization},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {240--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027014},
doi = {10.1007/BFB0027014},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KhasidashviliO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KirchnerR97,
author = {Claude Kirchner and
Christophe Ringeissen},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Higher-Order Equational Unification via Explicit Substitutions},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {61--75},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027003},
doi = {10.1007/BFB0027003},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KirchnerR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lucas97,
author = {Salvador Lucas},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Needed Reductions with Context-Sensitive Rewriting},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {129--143},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027007},
doi = {10.1007/BFB0027007},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/NedjahWE97,
author = {Nadia Nedjah and
Colin D. Walter and
Stephen E. Eldridge},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Optimal Left-to-Right Pattern-Matching Automata},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {273--286},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027016},
doi = {10.1007/BFB0027016},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/NedjahWE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Ohlebusch97,
author = {Enno Ohlebusch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Conditional Term Graph Rewriting},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {144--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027008},
doi = {10.1007/BFB0027008},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Ohlebusch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Steggles97,
author = {L. J. Steggles},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Parameterised Higher-Order Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {76--98},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027004},
doi = {10.1007/BFB0027004},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Steggles97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/SuzukiNI97,
author = {Taro Suzuki and
Koji Nakagawa and
Tetsuo Ida},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Higher-Order Lazy Narrowing Calculus: {A} Computation Model for a
Higher-Order Functional Logic Language},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {99--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027005},
doi = {10.1007/BFB0027005},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/SuzukiNI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1997,
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026998},
doi = {10.1007/BFB0026998},
isbn = {3-540-63459-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1995,
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61254-8},
doi = {10.1007/3-540-61254-8},
isbn = {3-540-61254-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Approximation and Normalization Results for Typeable Term Rewriting
Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {17--36},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_17},
doi = {10.1007/3-540-61254-8\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BartheG95,
author = {Gilles Barthe and
Herman Geuvers},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Modular Properties of Algebraic Type Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {37--56},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_18},
doi = {10.1007/3-540-61254-8\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BartheG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BethkeK95,
author = {Inge Bethke and
Jan Willem Klop},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Collapsing Partial Combinatory Algebras},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {57--73},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_19},
doi = {10.1007/3-540-61254-8\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BethkeK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Blom95,
author = {Stefan Blom},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {A Complete Proof System for Nested Term Graphs},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {74--89},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_20},
doi = {10.1007/3-540-61254-8\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Blom95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/HintermeierKM95,
author = {Claus Hintermeier and
H{\'{e}}l{\`{e}}ne Kirchner and
Peter D. Mosses},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {R\({}^{\mbox{n}}\)- and G\({}^{\mbox{n}}\)-Logics},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {90--108},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_21},
doi = {10.1007/3-540-61254-8\_21},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoa/HintermeierKM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Kahrs95,
author = {Stefan Kahrs},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {The Variable Containment Problem},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {109--123},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_22},
doi = {10.1007/3-540-61254-8\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Kahrs95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Klop95,
author = {Jan Willem Klop},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Term Graph Rewriting},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {1--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_16},
doi = {10.1007/3-540-61254-8\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Klop95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Meinke95,
author = {Karl Meinke},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Higher-Order Equational Logic for Specification, Simulation and Testing},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {124--143},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_23},
doi = {10.1007/3-540-61254-8\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Meinke95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/MintchevL95,
author = {Sava Mintchev and
David R. Lester},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {The Correctness of a Higher-Order Lazy Functional Language Implementation:
An Exercise in Mechanical Theorem Proving},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {144--162},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_24},
doi = {10.1007/3-540-61254-8\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/MintchevL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Moller95,
author = {Bernhard M{\"{o}}ller},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Assertions and Recursions},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {163--184},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_25},
doi = {10.1007/3-540-61254-8\_25},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Moller95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Oostrom95,
author = {Vincent van Oostrom},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Development Closed Critical Pairs},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {185--200},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_26},
doi = {10.1007/3-540-61254-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Oostrom95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Pol95,
author = {Jaco van de Pol},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Two \emph{Different} Strong Normalization Proofs?},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {201--220},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_27},
doi = {10.1007/3-540-61254-8\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Pol95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Springintveld95,
author = {Jan Springintveld},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Third-Order Matching in the Polymorphic Lambda Calculus},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {221--237},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_28},
doi = {10.1007/3-540-61254-8\_28},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Springintveld95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Steggles95,
author = {L. J. Steggles},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Higher-Order Algebra with Transfinite Types},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {238--263},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_29},
doi = {10.1007/3-540-61254-8\_29},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Steggles95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/WangM95,
author = {Li{-}Guo Wang and
Michael Mendler},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Abstraction of Hardware Construction},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {264--287},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_30},
doi = {10.1007/3-540-61254-8\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/WangM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1993,
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58233-9},
doi = {10.1007/3-540-58233-9},
isbn = {3-540-58233-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/AspertiL93,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Interaction Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {1--19},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_1},
doi = {10.1007/3-540-58233-9\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/AspertiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF93,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Strong Normalization of Typeable Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {20--39},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_2},
doi = {10.1007/3-540-58233-9\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Bellegarde93,
author = {Fran{\c{c}}oise Bellegarde},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {A Transformation System Combining Partial Evaluation with Term Rewriting},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {40--55},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_3},
doi = {10.1007/3-540-58233-9\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Bellegarde93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BerghammerGS93,
author = {Rudolf Berghammer and
Thomas F. Gritzner and
Gunther Schmidt},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Prototyping Relational Specifications Using Higher-Order Objects},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {56--75},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_4},
doi = {10.1007/3-540-58233-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BerghammerGS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/DeursenD93,
author = {Arie van Deursen and
T. B. Dinesh},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Origin Tracking for Higher-Order Term Rewriting Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {76--95},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_5},
doi = {10.1007/3-540-58233-9\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/DeursenD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Farmer93,
author = {William M. Farmer},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Theory Interpretation in Simple Type Theory},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {96--123},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_6},
doi = {10.1007/3-540-58233-9\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Farmer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/GrosuR93,
author = {Radu Grosu and
Franz Regensburger},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {The Semantics of {SPECTRUM}},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {124--145},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_7},
doi = {10.1007/3-540-58233-9\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/GrosuR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/HearnM93,
author = {B. M. Hearn and
Karl Meinke},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {{ATLAS:} {A} Typed Language for Algebraic Specification},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {146--168},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_8},
doi = {10.1007/3-540-58233-9\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/HearnM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Kahrs93,
author = {Stefan Kahrs},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Compilation of Combinatory Reduction Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {169--188},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_9},
doi = {10.1007/3-540-58233-9\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Kahrs93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/MeinkeS93,
author = {Karl Meinke and
L. J. Steggles},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Specification and Verification in Higher-Order Algebra: {A} Case Study
of Convolution},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {189--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_10},
doi = {10.1007/3-540-58233-9\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/MeinkeS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Moller93,
author = {Bernhard M{\"{o}}ller},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Ordered and Continuous Models of Higher-Order Specifications},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {223--255},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_11},
doi = {10.1007/3-540-58233-9\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Moller93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/NesiPR93,
author = {Monica Nesi and
Valeria de Paiva and
Eike Ritter},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Rewriting Properties of Combinators for Rudimentary Linear Logic},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {256--275},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_12},
doi = {10.1007/3-540-58233-9\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/NesiPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/OostromR93,
author = {Vincent van Oostrom and
Femke van Raamsdonk},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {276--304},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_13},
doi = {10.1007/3-540-58233-9\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/OostromR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Pol93,
author = {Jaco van de Pol},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Termination Proofs for Higher-order Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {305--325},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_14},
doi = {10.1007/3-540-58233-9\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Pol93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Schobbens93,
author = {Pierre{-}Yves Schobbens},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Extensions of Initial Models and their Second-Order Proof Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {326--344},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_15},
doi = {10.1007/3-540-58233-9\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Schobbens93.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.
retrieved on 2024-05-30 09:21 CEST from data curated 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:
