@inproceedings{Mossakowski95,
  abstract = {A hierarchy of institutions ranging form equational logic to partial conditional existence-equational logic with relations is built. The different levels of the hierarchy can be separated by properties of parameterized abstract data types. A sample parameterized abstract data type, bounded stacks, is located within the hierarchy. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/20b1543dc92e1ece547d9685ad92c30a7/tillmo},
  booktitle = {Recent Trends in Data Type Specification. Proceedings},
  editor = {Astesiano, E. and Reggio, G. and Tarlecki, A.},
  interhash = {0b36326c90ced5e1f62ac08a93fbf3e0},
  intrahash = {0b1543dc92e1ece547d9685ad92c30a7},
  keywords = {Horn equational institution logic parameterization},
  pages = {389--405},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/hinst.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {A Hierarchy of Institutions separated by properties of parameterized abstract data types},
  url = {http://dx.doi.org/10.1007/BFb0014440},
  volume = 906,
  year = 1995
}