BibTeX record conf/compass/HintermeierKK94

• > Home > conf/compass/HintermeierKK94

@inproceedings{DBLP:conf/compass/HintermeierKK94,
  author       = {Claus Hintermeier and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Egidio Astesiano and
                  Gianna Reggio and
                  Andrzej Tarlecki},
  title        = {Sort Inheritance for Order-Sorted Equational Presentations},
  booktitle    = {Recent Trends in Data Type Specification, 10th Workshop on Specification
                  of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
                  Italy, May 30 - June 3, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {906},
  pages        = {319--335},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0014436},
  doi          = {10.1007/BFB0014436},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/HintermeierKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}