Extension Morphisms for CommUnity (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Alencar, Paulo
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Alencar, Paulo
In:
Algebra, Meaning, and Computation
3
;
173-193
;
2006
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Extension Morphisms for CommUnity
-
Beteiligte:
-
Erschienen in:Algebra, Meaning, and Computation , 3 ; 173-193Lecture Notes in Computer Science ; 4060, 3 ; 173-193
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2006
-
Format / Umfang:21 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group CreativityBorgo, David et al. | 2006
- 25
-
My Friend Joseph GoguenBurstall, Rod et al. | 2006
- 31
-
Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. DelanyHarrell, D. Fox et al. | 2006
- 50
-
Quantum InstitutionsCaleiro, Carlos / Mateus, Paulo / Sernadas, Amilcar / Sernadas, Cristina et al. | 2006
- 65
-
Jewels of Institution-Independent Model TheoryDiaconescu, Răzvan et al. | 2006
- 99
-
Semantic Web Languages – Towards an Institutional PerspectiveLucanu, Dorel / Li, Yuan Fang / Dong, Jin Song et al. | 2006
- 124
-
Institutional 2-cells and Grothendieck InstitutionsMossakowski, Till et al. | 2006
- 150
-
Some Varieties of Equational LogicPlotkin, Gordon et al. | 2006
- 157
-
Complete Categorical Deduction for Satisfaction as InjectivityRoşu, Grigore et al. | 2006
- 173
-
Extension Morphisms for CommUnityAguirre, Nazareno / Maibaum, Tom / Alencar, Paulo et al. | 2006
- 194
-
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical ApplicationAndrei, Oana / Ibanescu, Liliana / Kirchner, Hélène et al. | 2006
- 216
-
From OBJ to ML to CoqChrząszcz, Jacek / Jouannaud, Jean-Pierre et al. | 2006
- 235
-
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net TransformationsEhrig, Hartmut / Prange, Ulrike et al. | 2006
- 252
-
From OBJ to Maude and BeyondMeseguer, José et al. | 2006
- 281
-
Constructive Action Semantics in OBJMosses, Peter D. et al. | 2006
- 296
-
Horizontal Composability RevisitedSannella, Donald / Tarlecki, Andrzej et al. | 2006
- 317
-
Composition by Colimit and Formal Software DevelopmentSmith, Douglas R. et al. | 2006
- 333
-
Proving Behavioral Refinements of COL-specificationsBidoit, Michel / Hennicker, Rolf et al. | 2006
- 355
-
The Reactive Engine for Modular TransducersHuet, Gérard / Razet, Benoît et al. | 2006
- 375
-
A Bialgebraic Review of Deterministic Automata, Regular Expressions and LanguagesJacobs, Bart et al. | 2006
- 405
-
Sheaves and Structures of Transition SystemsMalcolm, Grant et al. | 2006
- 420
-
Uniform Functors on SetsMoss, Lawrence S. et al. | 2006
- 449
-
An Algebraic Approach to Regular SetsReichel, Horst et al. | 2006
- 459
-
Elementary Algebraic Specifications of the Rational Complex NumbersBergstra, Jan A. / Tucker, John V. et al. | 2006
- 476
-
From Chaos to UndefinednessBroy, Manfred et al. | 2006
- 497
-
Completion Is an Instance of Abstract Canonical System InferenceBurel, Guillaume / Kirchner, Claude et al. | 2006
- 521
-
Eliminating Dependent Pattern MatchingGoguen, Healfdene / McBride, Conor / McKinna, James et al. | 2006
- 541
-
Iterative Lexicographic Path OrdersKlop, Jan Willem / Oostrom, Vincent / Vrijer, Roel et al. | 2006
- 555
-
A Functorial Framework for Constraint Normal Logic ProgrammingLucio, Paqui / Orejas, Fernando / Pasarella, Edelmira / Pino, Elvira et al. | 2006
- 578
-
A Stochastic Theory of Black-Box Software TestingMeinke, Karl et al. | 2006
- 596
-
Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodOgata, Kazuhiro / Futatsugi, Kokichi et al. | 2006
- 616
-
Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical InferencesOkada, Mitsuhiro / Sugimoto, Yutaro / Yoshikawa, Sumi / Konagaya, Akihiko et al. | 2006