Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 April 1, 2012, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 su...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham : Springer Nature |
Collection : | Theoretical computer science and general issues (Online) ; 7399 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Sujets : | |
Documents associés : | Autre format:
Coalgebraic Methods in Computer Science Autre format: Coalgebraic Methods in Computer Science |
LEADER | 03766clm a2200637 4500 | ||
---|---|---|---|
001 | PPN168322730 | ||
003 | http://www.sudoc.fr/168322730 | ||
005 | 20241001155100.0 | ||
010 | |a 978-3-642-32784-1 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-32784-1 |2 DOI |
035 | |a (OCoLC)818323647 | ||
035 | |a Springer978-3-642-32784-1 | ||
035 | |a Springer-11645-978-3-642-32784-1 | ||
100 | |a 20130325d2012 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 100yy | ||
106 | |a s | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Coalgebraic Methods in Computer Science |e 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 April 1, 2012, Revised Selected Papers |f edited by Dirk Pattinson, Lutz Schröder. | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2012 | |
225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7399 | |
330 | |a This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. | ||
359 | 1 | |a From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics. | |
371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7399 | |
452 | | | |t Coalgebraic Methods in Computer Science |y 9783642327834 | |
452 | | | |t Coalgebraic Methods in Computer Science |y 9783642327858 | |
608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Computation by Abstract Devices | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Probability and Statistics in Computer Science | |
610 | 2 | |a Theory of Computation | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
610 | 1 | |a Formal Languages and Automata Theory | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
676 | |a 005.131 |v 23 | ||
680 | |a QA8.9-QA10.3 | ||
700 | 1 | |a Pattinson |b Dirk |4 651 | |
701 | 1 | |a Schröder |b Lutz |4 651 | |
801 | 3 | |a FR |b Abes |c 20240611 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
856 | 4 | |5 441099901:830853944 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-32784-1 | |
915 | |5 441099901:830853944 |b SPRING13-00458 | ||
930 | |5 441099901:830853944 |b 441099901 |j g | ||
991 | |5 441099901:830853944 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:11 | ||
997 | |a NUM |b SPRING13-00458 |d NUMpivo |e EM |s d | ||
998 | |a 978290 |