%0 Conference Paper %1 Mossakowski95 %A Mossakowski, T. %B Recent Trends in Data Type Specification. Proceedings %D 1995 %E Astesiano, E. %E Reggio, G. %E Tarlecki, A. %I Springer Verlag, London %K Horn equational institution logic parameterization %P 389--405 %T A Hierarchy of Institutions separated by properties of parameterized abstract data types %U http://dx.doi.org/10.1007/BFb0014440 %V 906 %X 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.

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