Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6041045> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Q6041045 subject Q7153055.
- Q6041045 subject Q7451685.
- Q6041045 abstract "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 the logical systems used incomputer science". The notion tries to capture the essence of the concept of "logical system".The use of institutions makes it possible to develop concepts of specification languages (like structuring of specifications, parameterization, implementation, refinement, development), proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. The spread of institutional model theory has generalized various notions and results of model theory and institutions themselves have impacted the progress of universal logic.".
- Q6041045 wikiPageExternalLink inst.html.
- Q6041045 wikiPageExternalLink Institutions__institution-independent.
- Q6041045 wikiPageExternalLink flirts.
- Q6041045 wikiPageExternalLink 978-3-7643-8707-5.
- Q6041045 wikiPageWikiLink Q1209840.
- Q6041045 wikiPageWikiLink Q130901.
- Q6041045 wikiPageWikiLink Q1644136.
- Q6041045 wikiPageWikiLink Q176786.
- Q6041045 wikiPageWikiLink Q1948412.
- Q6041045 wikiPageWikiLink Q200694.
- Q6041045 wikiPageWikiLink Q210841.
- Q6041045 wikiPageWikiLink Q21198.
- Q6041045 wikiPageWikiLink Q2509500.
- Q6041045 wikiPageWikiLink Q2518298.
- Q6041045 wikiPageWikiLink Q39546.
- Q6041045 wikiPageWikiLink Q4055684.
- Q6041045 wikiPageWikiLink Q442383.
- Q6041045 wikiPageWikiLink Q4669950.
- Q6041045 wikiPageWikiLink Q467606.
- Q6041045 wikiPageWikiLink Q5051852.
- Q6041045 wikiPageWikiLink Q5153278.
- Q6041045 wikiPageWikiLink Q5153563.
- Q6041045 wikiPageWikiLink Q523607.
- Q6041045 wikiPageWikiLink Q6041209.
- Q6041045 wikiPageWikiLink Q6283491.
- Q6041045 wikiPageWikiLink Q649732.
- Q6041045 wikiPageWikiLink Q7153055.
- Q6041045 wikiPageWikiLink Q719395.
- Q6041045 wikiPageWikiLink Q7250002.
- Q6041045 wikiPageWikiLink Q7356136.
- Q6041045 wikiPageWikiLink Q7451685.
- Q6041045 wikiPageWikiLink Q781833.
- Q6041045 wikiPageWikiLink Q7894139.
- Q6041045 wikiPageWikiLink Q826165.
- Q6041045 wikiPageWikiLink Q864475.
- Q6041045 comment "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 the logical systems used incomputer science".".
- Q6041045 label "Institution (computer science)".