Coalgebraic methods in computer science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Heidelberg [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8446 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Includes author index |
| Beschreibung: | 1 Online-Ressource (X, 244 S.) graph. Darst. |
| ISBN: | 9783662441237 9783662441244 |
| DOI: | 10.1007/978-3-662-44124-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042160105 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141030s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662441237 |9 978-3-662-44123-7 | ||
| 020 | |a 9783662441244 |c Online |9 978-3-662-44124-4 | ||
| 024 | 7 | |a 10.1007/978-3-662-44124-4 |2 doi | |
| 035 | |a (OCoLC)890050602 | ||
| 035 | |a (DE-599)BVBBV042160105 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a MAT 169f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Coalgebraic methods in computer science |b 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers |c Marcello M. Bonsangue (ed.) |
| 264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (X, 244 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8446 | |
| 500 | |a Includes author index | ||
| 650 | 0 | 7 | |a Koalgebra |0 (DE-588)4164324-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Koalgebra |0 (DE-588)4164324-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bonsangue, Marcello M. |e Sonstige |4 oth | |
| 711 | 2 | |a IFIP WG |j Sonstige |4 oth | |
| 711 | 2 | |a CMCS |n 12. |d 2014 |c Grenoble |j Sonstige |0 (DE-588)1060233703 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8446 |w (DE-604)BV014880109 |9 8446 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-44124-4 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027599769 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44124-4 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152657099620353 |
|---|---|
| adam_text | COALGEBRAIC METHODS IN COMPUTER SCIENCE
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
HIGHER-ORDER LANGUAGES: BISIMULATION AND COINDUCTIVE EQUIVALENCES
(EXTENDED ABSTRACT)
GENERIC WEAKEST PRECONDITION SEMANTICS FROM MONADS ENRICHED WITH ORDER
COALGEBRAIC MULTIGAMES
HOW TO KILL EPSILONS WITH A DAGGER
ON COALGEBRAS WITH INTERNAL MOVES
A COALGEBRAIC VIEW OF CHARACTERISTIC FORMULAS IN EQUATIONAL MODAL FIXED
POINT LOGICS
COALGEBRAIC SIMULATIONS AND CONGRUENCES
DIJKSTRA MONADS IN MONADIC COMPUTATION
CATEGORIES OF COALGEBRAS WITH MONADIC HOMOMORPHISMS
LIFTING ADJUNCTIONS TO COALGEBRAS TO (RE)DISCOVER AUTOMATA CONSTRUCTIONS
CANONICAL NONDETERMINISTIC AUTOMATA
TOWARDS SYSTEMATIC CONSTRUCTION OF TEMPORAL LOGICS FOR DYNAMICAL SYSTEMS
VIA COALGEBRA
ALGEBRAIC–COALGEBRAIC RECURSION THEORY OF HISTORY-DEPENDENT DYNAMICAL
SYSTEM MODELS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COALGEBRAIC METHODS IN COMPUTER SCIENCE
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-PROCEEDINGS OF THE
12TH INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE,
CMCS 2014, COLOCATED WITH ETAPS 2014, HELD IN GRENOBLE, FRANCE, IN APRIL
2014. THE 10 REVISED FULL PAPERS WERE CAREFULLY REVIEWED AND SELECTED
FROM 20 SUBMISSIONS. ALSO INCLUDED ARE THREE INVITED TALKS. THE PAPERS
COVER A WIDE RANGE OF TOPICS IN THE THEORY, LOGICS AND APPLICATIONS OF
COALGEBRAS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042160105 |
| classification_rvk | SS 4800 |
| classification_tum | MAT 169f DAT 500f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)890050602 (DE-599)BVBBV042160105 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-662-44124-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03602nmm a2200649 cb4500</leader><controlfield tag="001">BV042160105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141030s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662441237</subfield><subfield code="9">978-3-662-44123-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662441244</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-44124-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-44124-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890050602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042160105</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers</subfield><subfield code="c">Marcello M. Bonsangue (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 244 S.)</subfield><subfield code="b">graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8446</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index</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">2014</subfield><subfield code="z">Grenoble</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">Bonsangue, Marcello M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFIP WG</subfield><subfield code="j">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CMCS</subfield><subfield code="n">12.</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1060233703</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8446</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8446</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027599769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027599769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027599769</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44124-4</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2014 Grenoble |
| id | DE-604.BV042160105 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:14:11Z |
| institution | BVB |
| institution_GND | (DE-588)1060233703 |
| isbn | 9783662441237 9783662441244 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027599769 |
| oclc_num | 890050602 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (X, 244 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers Marcello M. Bonsangue (ed.) Heidelberg [u.a.] Springer 2014 1 Online-Ressource (X, 244 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8446 Includes author index Koalgebra (DE-588)4164324-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content Koalgebra (DE-588)4164324-0 s DE-604 Bonsangue, Marcello M. Sonstige oth IFIP WG Sonstige oth CMCS 12. 2014 Grenoble Sonstige (DE-588)1060233703 oth Lecture notes in computer science 8446 (DE-604)BV014880109 8446 https://doi.org/10.1007/978-3-662-44124-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; 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 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers |
| title_auth | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers |
| title_exact_search | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers |
| title_full | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers Marcello M. Bonsangue (ed.) |
| title_fullStr | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers Marcello M. Bonsangue (ed.) |
| title_full_unstemmed | Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers Marcello M. Bonsangue (ed.) |
| title_short | Coalgebraic methods in computer science |
| title_sort | coalgebraic methods in computer science 12th ifip wg 1 3 international workshop cmcs 2014 colocated with etaps 2014 grenoble france april 5 6 2014 revised selected papers |
| title_sub | 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers |
| topic | Koalgebra (DE-588)4164324-0 gnd |
| topic_facet | Koalgebra Konferenzschrift 2014 Grenoble |
| url | https://doi.org/10.1007/978-3-662-44124-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027599769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bonsanguemarcellom coalgebraicmethodsincomputerscience12thifipwg13internationalworkshopcmcs2014colocatedwithetaps2014grenoblefranceapril562014revisedselectedpapers AT ifipwg coalgebraicmethodsincomputerscience12thifipwg13internationalworkshopcmcs2014colocatedwithetaps2014grenoblefranceapril562014revisedselectedpapers AT cmcsgrenoble coalgebraicmethodsincomputerscience12thifipwg13internationalworkshopcmcs2014colocatedwithetaps2014grenoblefranceapril562014revisedselectedpapers |