Search dblp for Publications

export results for "toc:db/conf/am/am1987.bht:"

 download as .bib file

@proceedings{DBLP:conf/am/1987,
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0015032},
  doi          = {10.1007/BFB0015032},
  isbn         = {3-540-51698-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/1987.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/AstesianoGRZ87,
  author       = {Egidio Astesiano and
                  Alessandro Giovini and
                  Gianna Reggio and
                  Elena Zucca},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {An Integrated Algebraic Approach to the Specification of Data Types,
                  Processes and Objects},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {91--116},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015037},
  doi          = {10.1007/BFB0015037},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/am/AstesianoGRZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/BaatsFG87,
  author       = {W. E. Baats and
                  Loe M. G. Feijs and
                  J. H. A. Gelissen},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {A Formal Specifications of {INGRES}},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {207--245},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015040},
  doi          = {10.1007/BFB0015040},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/BaatsFG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/BergstraK87,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {ACT\({}_{\mbox{tau}}\): {A} Universal Axiom System for Process Specification},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {447--463},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015048},
  doi          = {10.1007/BFB0015048},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/BergstraK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/BidoitGM87,
  author       = {Michel Bidoit and
                  Marie{-}Claude Gaudel and
                  Anne Mauboussin},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {How to Make Algebraic Specifications More Understandable?},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {31--67},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015035},
  doi          = {10.1007/BFB0015035},
  timestamp    = {Thu, 19 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/BidoitGM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Feijs87,
  author       = {Loe M. G. Feijs},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {The Calculus lambda-pi},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {307--330},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015043},
  doi          = {10.1007/BFB0015043},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Feijs87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Geser87,
  author       = {Alfons Geser},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {A Specification of the intel 8085 Microprocessor: {A} Case Study},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {347--401},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015045},
  doi          = {10.1007/BFB0015045},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Geser87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/GlabbeekV87,
  author       = {Rob J. van Glabbeek and
                  Frits W. Vaandrager},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Modular Specifications in Process Algebra with Curious Queues},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {465--506},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015049},
  doi          = {10.1007/BFB0015049},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/GlabbeekV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/HussmannG87,
  author       = {Heinrich Hu{\ss}mann and
                  Alfons Geser},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {The {RAP} System as a Tool for Testing {COLD} Specifications},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015044},
  doi          = {10.1007/BFB0015044},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/HussmannG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/HussmannR87,
  author       = {Heinrich Hu{\ss}mann and
                  Christian Rank},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Specification and Prototyping of a Compiler for a Small Applicative
                  Language},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {403--418},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015046},
  doi          = {10.1007/BFB0015046},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/HussmannR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Jonkers87,
  author       = {H. B. M. Jonkers},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {An Introduction to {COLD-K}},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {139--205},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015039},
  doi          = {10.1007/BFB0015039},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Jonkers87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Jonkers87a,
  author       = {H. B. M. Jonkers},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Description Algebra},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {283--306},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015042},
  doi          = {10.1007/BFB0015042},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Jonkers87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/KlaerenI87,
  author       = {Herbert Klaeren and
                  Klaus Indermark},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Efficient Implementation of an Algebraic Specification Language},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {69--90},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015036},
  doi          = {10.1007/BFB0015036},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/KlaerenI87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/KoymannsL87,
  author       = {C. P. J. Koymanns and
                  Gerard R. Renardel de Lavalette},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {The Logic MPL\({}_{\mbox{omega}}\)},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {247--282},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015041},
  doi          = {10.1007/BFB0015041},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/KoymannsL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/LavazzaC87,
  author       = {Luigi Lavazza and
                  Stefano Crespi{-}Reghizzi},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Algebraic {ADT} Specifications of an Extended Relational Algebra and
                  their Conversion into a Working Prototype},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {419--446},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015047},
  doi          = {10.1007/BFB0015047},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/LavazzaC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Mauw87,
  author       = {Sjouke Mauw},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {An Algebraic Specification of Process Algebra, Including Two Examples},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {507--554},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015050},
  doi          = {10.1007/BFB0015050},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Mauw87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Partsch87,
  author       = {Helmuth Partsch},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Algebraic Specification: {A} Step Towards Future Software Engineering},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {7--30},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015034},
  doi          = {10.1007/BFB0015034},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Partsch87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/am/Reichel87,
  author       = {Horst Reichel},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Software Specification by Behavioural Canons},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {117--138},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015038},
  doi          = {10.1007/BFB0015038},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Reichel87.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.