Coalgebraic methods in computer science: 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture Notes in Computer Science
7399 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | 258 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642327834 9783642327834 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040440771 | ||
| 003 | DE-604 | ||
| 005 | 20130109 | ||
| 007 | t| | ||
| 008 | 120925s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N31 |2 dnb | ||
| 016 | 7 | |a 1024548848 |2 DE-101 | |
| 020 | |a 3642327834 |9 3-642-32783-4 | ||
| 020 | |a 9783642327834 |c Pb. : ca. EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.) |9 978-3-642-32783-4 | ||
| 024 | 3 | |a 9783642327834 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86152860 |
| 035 | |a (OCoLC)815930977 | ||
| 035 | |a (DE-599)DNB1024548848 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 004.01512 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a MAT 169f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Coalgebraic methods in computer science |b 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers |c Dirk Pattinson ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a 258 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 7399 | |
| 650 | 0 | 7 | |a Koalgebra |0 (DE-588)4164324-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Reval |2 gnd-content | |
| 689 | 0 | 0 | |a Koalgebra |0 (DE-588)4164324-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Pattinson, Dirk |e Sonstige |4 oth | |
| 711 | 2 | |a CMCS |n 11. |d 2012 |c Tallinn |j Sonstige |0 (DE-588)102626085X |4 oth | |
| 711 | 2 | |a ETAPS |n 15 |d 2012 |c Tallinn |j Sonstige |0 (DE-588)16343910-2 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-32784-1 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7399 |w (DE-604)BV000000607 |9 7399 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4091998&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025288605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025288605 | |
Datensatz im Suchindex
| _version_ | 1820875419143897088 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
FROM LAWVERE TO BRANDENBURGER-KEISLER: INTERACTIVE FORMS OF
DIAGONALIZATION AND SELF-REFERENCE 1
SAMSON ABRAMSKY AND JONATHAN ZVESPER
DEFINING CONTEXT-FREE POWER SERIES COALGEBRAICALLY 20
MARCELLO M. BONSANGUE, JAN RUTTEN, AND JOOST WINTER
RELATIONAL PRESHEAVES AS LABELLED TRANSITION SYSTEMS 40
PAWEL SOBOCINSKI
O N FINITARY FUNCTORS AND THEIR PRESENTATIONS 51
J I N ADAMEK, STEFAN MILIUS, AND LAWRENCE S. MOSS
STRUCTURAL OPERATIONAL SEMANTICS FOR CONTINUOUS STATE PROBABILISTIC
PROCESSES 71
GIORGIO BACCI AND MARINO MICULAN
STREAM AUTOMATA ARE COALGEBRAS 90
VINCENZO CIANCIA AND YDE VENEMA
TRACE SEMANTICS VIA DETERMINIZATION 109
BART JACOBS, ALEXANDRA SILVA, AND A N A SOKOLOVA
AN ALPHA-CORECURSION PRINCIPLE FOR THETNFINITARY LAMBDA CALCULUS . . . .
130 ALEXANDER KURZ, DANIELA PETRI§AN, PAULA SEVEN, AND FER-JAN DE VRIES
LAX EXTENSIONS OF COALGEBRA FUNCTORS 150
JOHANNES MARTI AND YDE VENEMA
FROM TRANSITIONS TO EXECUTIONS 170
ELEFTHERIOS MATSIKOUDIS AND EDWARD A. LEE
TRACING THE MAN IN THE MIDDLE IN MONOIDAL CATEGORIES 191
DUSKO PAVLOVIC
PERMUTATIONS IN COINDUCTIVE GRAPH REPRESENTATION 218
CELIA PICARD AND RALPH MATTHES
INTERNAL MODELS FOR COALGEBRAIC MODAL LOGICS 238
TOBY WILKINSON
A U T H O R I N D E X 259
HTTP://D-NB.INFO/1024548848 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040440771 |
| classification_rvk | SS 4800 |
| classification_tum | MAT 169f DAT 500f |
| ctrlnum | (OCoLC)815930977 (DE-599)DNB1024548848 |
| dewey-full | 004.01512 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.01512 |
| dewey-search | 004.01512 |
| dewey-sort | 14.01512 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040440771</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120925s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024548848</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642327834</subfield><subfield code="9">3-642-32783-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642327834</subfield><subfield code="c">Pb. : ca. EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.)</subfield><subfield code="9">978-3-642-32783-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642327834</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86152860</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815930977</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024548848</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01512</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 169f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coalgebraic methods in computer science</subfield><subfield code="b">11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers</subfield><subfield code="c">Dirk Pattinson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">258 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7399</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Reval</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pattinson, Dirk</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CMCS</subfield><subfield code="n">11.</subfield><subfield code="d">2012</subfield><subfield code="c">Tallinn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102626085X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Tallinn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16343910-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-32784-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7399</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7399</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4091998&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025288605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025288605</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Reval gnd-content |
| genre_facet | Konferenzschrift 2012 Reval |
| id | DE-604.BV040440771 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:19Z |
| institution | BVB |
| institution_GND | (DE-588)102626085X (DE-588)16343910-2 |
| isbn | 3642327834 9783642327834 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025288605 |
| oclc_num | 815930977 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | 258 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) Berlin [u.a.] Springer 2012 258 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7399 Koalgebra (DE-588)4164324-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Reval gnd-content Koalgebra (DE-588)4164324-0 s DE-604 Pattinson, Dirk Sonstige oth CMCS 11. 2012 Tallinn Sonstige (DE-588)102626085X oth ETAPS 15 2012 Tallinn Sonstige (DE-588)16343910-2 oth Erscheint auch als Online-Ausgabe 978-3-642-32784-1 Lecture Notes in Computer Science 7399 (DE-604)BV000000607 7399 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4091998&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025288605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Lecture Notes in Computer Science Koalgebra (DE-588)4164324-0 gnd |
| subject_GND | (DE-588)4164324-0 (DE-588)1071861417 |
| title | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers |
| title_auth | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers |
| title_exact_search | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers |
| title_full | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) |
| title_fullStr | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) |
| title_full_unstemmed | Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) |
| title_short | Coalgebraic methods in computer science |
| title_sort | coalgebraic methods in computer science 11th international workshop cmcs 2012 colocated with etaps 2012 tallinn estonia march 31 april 1 2012 revised selected papers |
| title_sub | 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers |
| topic | Koalgebra (DE-588)4164324-0 gnd |
| topic_facet | Koalgebra Konferenzschrift 2012 Reval |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4091998&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025288605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pattinsondirk coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers AT cmcstallinn coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers AT etapstallinn coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers |