Search dblp for Publications

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

 download as .bib file

@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  Schloss Dagstuhl - Leibniz Center for Informatics

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.