Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Institution (computer science)

Known as: Institution (disambiguation) 
The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970sin order to deal with the "population explosion among… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its… Expand
  • figure 1
2017
2017
Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As… Expand
  • table I
  • figure 4
  • figure 7
  • table II
2014
2014
Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
2014
2014
We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and… Expand
2013
2013
The relocation of the wool market from London to the major Australian port cities from the late nineteenth century required the… Expand
  • table 1
  • table 2
  • table 3
2013
2013
Research evaluation is a necessity for management of academic units (scientists, research groups, departments, institutes… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Highly Cited
2010
Highly Cited
2010
This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2008
Highly Cited
2008
Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
2007
2007
The theory of “institutions” [40] is a categorical universal model theory which formalises the intuitive notion of logical system… Expand
Highly Cited
2002
Highly Cited
2002
Abstract. Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of… Expand