default search action
Search dblp for Publications
export results for "stream:conf/hoa:"
@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, September 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 = {Tue, 30 Jul 2024 10:37:33 +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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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, September 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 = {Tue, 30 Jul 2024 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 = {Sun, 04 Aug 2024 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} }
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.