Modular construction of complete coalgebraic logics (English)
- New search for: Cǐ
- New search for: rstea, C.
- New search for: Pattinson, D.
- New search for: Cǐ
- New search for: rstea, C.
- New search for: Pattinson, D.
In:
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-
;
388
, 1-3
;
83-108
;
2007
-
ISSN:
- Article (Journal) / Print
-
Title:Modular construction of complete coalgebraic logics
-
Contributors:
-
Published in:THEORETICAL COMPUTER SCIENCE -AMSTERDAM- ; 388, 1-3 ; 83-108
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2007-01-01
-
Size:26 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 388, Issue 1-3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Complete and directed complete -categoriesLai, Hongliang / Zhang, Dexue et al. | 2007
- 1
-
Complete and directed complete Formula Not Shown -categoriesLai, H. / Zhang, D. et al. | 2007
- 26
-
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based modelGeniet, Dominique / Largeteau, Gaëlle et al. | 2007
- 53
-
Optimality and condensing of information flow through linear refinementSpoto, Fausto et al. | 2007
- 83
-
Modular construction of complete coalgebraic logicsCǐrstea, Corina / Pattinson, Dirk et al. | 2007
- 109
-
Fibrations and universal view updatabilityJohnson, Michael / Rosebrugh, Robert et al. | 2007
- 130
-
Algebras with parametrized iterativityAdámek, Jiří / Milius, Stefan / Velebil, Jiří et al. | 2007
- 152
-
Domain-theoretical models of parametric polymorphismBirkedal, L. / Møgelberg, R.E. / Petersen, R.L. et al. | 2007
- 173
-
S4 enriched multimodal categorial grammars are context-freePlummer, Andrew R. et al. | 2007
- 181
-
Concurrent games with tail objectivesChatterjee, Krishnendu et al. | 2007
- 199
-
Control of discrete-event systems with modular or distributed structureKomenda, Jan / van Schuppen, Jan H. et al. | 2007
- 227
-
Verification of Boolean programs with unbounded thread creationCook, Byron / Kroening, Daniel / Sharygina, Natasha et al. | 2007
- 243
-
Component refinement and CSC-solving for STG decompositionSchaefer, Mark / Vogler, Walter et al. | 2007
- 267
-
Tutorial on separation results in process calculi via leader election problemsVigliotti, Maria Grazia / Phillips, Iain / Palamidessi, Catuscia et al. | 2007
- 290
-
Selective strictness and parametricity in structural operational semantics, inequationallyVoigtländer, Janis / Johann, Patricia et al. | 2007
- 319
-
Belnap’s logic and conditional compositionPonse, Alban / van der Zwaag, Mark B. et al. | 2007
- v
-
Editorial Board| 2007