A Hierarchy of Institutions Separated By Properties of Parameterized Data Types (1995)
by
Till Mossakowski
| Citations: | 4 - 1 self |
BibTeX
@MISC{Mossakowski95ahierarchy,
author = {Till Mossakowski},
title = {A Hierarchy of Institutions Separated By Properties of Parameterized Data Types},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
