An institution of modal logics for coalgebras (Englisch)
- Neue Suche nach: Cıˆrstea, C.
- Neue Suche nach: Cıˆrstea, C.
In:
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
;
67
, 1-2
;
87-113
;
2006
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:An institution of modal logics for coalgebras
-
Beteiligte:Cıˆrstea, C. ( Autor:in )
-
Erschienen in:JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING ; 67, 1-2 ; 87-113
-
Verlag:
- Neue Suche nach: Elsevier Science B.V., Amsterdam.
-
Erscheinungsdatum:01.01.2006
-
Format / Umfang:27 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.115
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005.115 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 67, Ausgabe 1-2
Zeige alle Jahrgänge und Ausgaben
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
-
Thirty years of algebraic specificationOrejas, F. et al. | 2006
- 3
-
Constructor-based observational logicBidoit, M. / Hennicker, R. et al. | 2006
- 52
-
A formally grounded software specification methodChoppy, C. / Reggio, G. et al. | 2006
- 87
-
An institution of modal logics for coalgebrasCıˆrstea, C. et al. | 2006
- 114
-
Development graphs—Proof management for structured specificationsMossakowski, T. / Autexier, S. / Hutter, D. et al. | 2006
- 146
-
Algebraic–coalgebraic specification in CoCaslMossakowski, T. / Schröder, L. / Roggenbach, M. / Reichel, H. et al. | 2006
- 198
-
Petri net modules in the transformation-based component frameworkPadberg, J. / Ehrig, H. et al. | 2006
- 226
-
Executable structural operational semantics in MaudeVerdejo, A. / Martí-Oliet, N. et al. | 2006
- 295
-
Author Index – Volume 67 (2006)| 2006
- 297
-
Keyword Index – Volume 67 (2006)| 2006
-
Editorial Board| 2006
-
Contents| 2006