Representations, Hierarchies, and Graphs of Institutions

Representations, Hierarchies, and Graphs of Institutions (1996)

Cached

Download Links

[informatik.uni-bremen.de]
[www.informatik.uni-bremen.de]

Other Repositories/Bibliography

DBLP

by Till Mossakowski

Citations:

5 - 4 self

BibTeX

@MISC{Mossakowski96representations,hierarchies,,
    author = {Till Mossakowski},
    title = {Representations, Hierarchies, and Graphs of Institutions},
    year = {1996}
}

Bookmark

OpenURL

Abstract

Citations

1739	Foundations of Logic Programming - Lloyd - 1984
816	S.: Categories for the working mathematician - Lane - 1998
634	A framework for defining logics - Harper, Honsell, et al. - 1999
611	Systematic Software Development Using VDM - Jones - 1990
593	Introduction to Metamathematics - Kleene - 1971
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
261	An initial algebra approach to the specification, correctness, and implementation of abstract data types - Goguen, Thatcher, et al. - 1978
209	B.: “Fundamentals of Algebraic Specifications 1 - Ehrig, Mahr - 1985
208	Abstract and Concrete Categories - Adámek, Herrlich, et al. - 1990
203	Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance - Goguen, Meseguer - 1987
195	Mathematical Logic - Shoenfield - 1967
173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
160	General logics - Meseguer - 1989
160	Classification theory and the number of non-isomorphic models - Shelah - 1978
134	Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988
130	Putting theories together to make specifications - Burstall, Goguen - 1977
123	Introduction to Higher-Order Categorical Logic - Lambek, Scott - 1986
99	EQLOG: Equality, types, and generic modules for logic programming - Goguen, Meseguer - 1986
94	A categorical manifesto - Goguen - 1991
84	Specifications in an arbitrary institution - Sannella, Tarlecki - 1988
72	A partial functions version of Church's simple theory of types - Farmer - 1990
59	Lokal präsentierbare Kategorien - Gabriel, Ulmer - 1971
50	G E : Category Theory - Herrlich, Strecker - 1973
48	Unified algebras and institutions - Mosses - 1989
48	Structured algebraic specifications: A kernel language - Wirsing - 1986
47	Identity and existence in intuitionistic logic - Scott - 1979
47	Moving between logical systems - Tarlecki - 1998
45	Bits and pieces of the theory of institution - Tarlecki
44	Fundamentals of Stability Theory - Baldwin - 1988
43	Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and - Goguen, Meseguer - 1987
41	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments - Goguen, Burstall - 1986
40	Toposes, triples and theories. Grundlehren der Mathematischen Wissenschaften, 278 - Barr, Wells - 1985
40	Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories - Tarlecki, Burstall, et al. - 1991
39	Aspects of topoi - Freyd - 1972
37	Fundamentals of Algebraic Specification 2 - Ehrig, Mahr - 1990
35	Structuring theories on consequence - Fiadeiro, Sernadas - 1988
35	Report on the Larch shared language - Guttag, Horning - 1986
35	Initial Computability, Algebraic Specifications, and Partial Algebras - Reichel - 1987
33	Operational semantics for ordersorted algebra - Goguen, Jouannaud, et al. - 1985
29	On the existence of free models in abstract algebraic institutions - Tarlecki - 1986
26	Computing in Horn Clause Theories - Padawitz - 1988
22	Relationships between Logical Formalisms - Cerioli - 1993
22	Extended ML: past, present and future - Sannella, Tarlecki - 1991
19	Extended ML: an institution-independent framework for formal program development - Sannella, Tarlecki - 1986
18	Relationships between logical frameworks - Astesiano, Cerioli - 1993
18	Partial algebras --- survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis 15 - Burmeister - 1982
17	From total equational to partial first order - Cerioli, Mossakowski, et al. - 1997
17	Equivalences among various logical frameworks of partial algebras - Mossakowski - 1995
16	Unifying theories in different institutions - Arrais, Fiadeiro - 1996
16	Categorical concepts for parameterized partial specification - Claen, Groe-Rhode, et al. - 1995