Search dblp for Publications

export results for "toc:db/conf/hoa/hoa95.bht:"

 download as .bib file

@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}
}

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.