Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6014 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036091580 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100323s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N08 |2 dnb | ||
| 016 | 7 | |a 1000252078 |2 DE-101 | |
| 020 | |a 9783642120312 |c kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-12031-2 | ||
| 024 | 3 | |a 9783642120312 | |
| 028 | 5 | 2 | |a 80011309 |
| 035 | |a (OCoLC)586999183 | ||
| 035 | |a (DE-599)DNB1000252078 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 005.01 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Foundations of software science and computational structures |b 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |c Luke Ong (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XV, 388 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6014 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a System analysis |v Congresses | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Paphos Ktima |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Ong, Luke |e Sonstige |4 oth | |
| 711 | 2 | |a FOSSACS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059953-2 |4 oth | |
| 711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6014 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6014 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3427671&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=018982173&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018982173 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1727340 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010228774 |
| _version_ | 1820896316492873728 |
| adam_text | TABLE OF CONTENTS FOSSACS 2010 INVITED TALK INTRODUCTION TO DECIDABILITY
OF HIGHER-ORDER MATCHING (ABSTRACT) 1 COLIN STIRLING SEMANTICS OF
PROGRAMMING LANGUAGES A SEMANTIC FOUNDATION FOR HIDDEN STATE 2 JAN
SCHWINGHAMMER, HONGSEOK YANG, LARS BIRKEDAL, FRANCOIS POTTIER, AND
BERNHARD REUS LINEARLY-USED CONTINUATIONS IN THE ENRICHED EFFECT
CALCULUS 18 JEFF EGGER, RASMUS EJLERS M0GELBERG, AND ALEX SIMPSON BLOCK
STRUCTURE VS. SCOPE EXTRUSION: BETWEEN INNOCENCE AND OMNISCIENCE 33
ANDRZEJ S. MURAWSKI AND NIKOS TZEVELEKOS COMPLETENESS FOR ALGEBRAIC
THEORIES OF LOCAL STATE 48 SAM STATON PROBABILISTIC AND RANDOMISED
COMPUTATION FAIR ADVERSARIES AND RANDOMIZATION IN TWO-PLAYER GAMES 64
EUGENE. ASARIN, RAPHAEL CHANE-YACK-FA, AND DANIELE VARACCA RETAINING THE
PROBABILITIES IN PROBABILISTIC TESTING THEORY 79 SONJA GEORGIEVSKA AND
SUZANA ANDOVA CONCURRENCY AND PROCESS THEORY FORWARD ANALYSIS OF
DEPTH-BOUNDED PROCESSES 94 THOMAS WIES, DAMIEN ZUFFEREY, AND THOMAS A.
HENZINGER INCREMENTAL PATTERN-BASED COINDUCTION FOR PROCESS ALGEBRA AND
ITS ISABELLE FORMALIZATION 109 ANDREI POPESCU AND ELSA L. GUNTER
PARAMETERISED MULTIPARTY SESSION TYPES 128 NOBUKO YOSHIDA, PIERRE-MALO
DENIELOU, ANDI BEJLERI, AND RAYMOND BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1000252078 DIGITALISIERT DURCH XIV TABLE OF CONTENTS ON
THE RELATIONSHIP BETWEEN SPATIAL LOGICS AND BEHAVIORAL SIMULATIONS 146
LUCIA ACCIAI, MICHELE BOREALE, AND GIANLUIGI ZAVATTARO MODAL AND
TEMPORAL LOGICS AN EASY COMPLETENESS PROOF FOR THE MODAL /I-CALCULUS ON
FINITE TREES 161 BALDER TEN CATE AND GAELLE FONTAINE WHEN MODEL-CHECKING
FREEZE LTL OVER COUNTER MACHINES BECOMES DECIDABLE 176 STEPHANE DEMRI
AND ARNAUD SANGNIER MODEL CHECKING 7S STATIC ANALYSIS OF MODAL LOGIC 191
FLEMMING NIELSON AND HANNE RIIS NIELSON COUNTING CTL 206 FRANCOIS
LAROUSSINIE, ANTOINE MEYER, AND EUDES PETONNET ALGORITHMIC METATHEOREMS
FOR DECIDABLE LTL MODEL CHECKING OVER INFINITE SYSTEMS 221 ANTHONY
WIDJAJA TO AND LEONID LIBKIN VERIFICATION TOWARD A COMPOSITIONAL THEORY
OF LEFTIST GRAMMARS AND TRANSFORMATIONS 237 PIERRE CHAMBART AND PHILIPPE
SCHNOEBELEN DEGREES OF LOOKAHEAD IN REGULAR INFINITE GAMES 252 MICHAEL
HOLTMANN, LUKASZ KAISER, AND WOLFGANG THOMAS REACHABILITY ANALYSIS OF
COMMUNICATING PUSHDOWN SYSTEMS 267 ALEXANDER HEUSSNER, JEROME LEROUX,
ANCA MUSCHOLL, AND GREGOIRE SUTRE THE COMPLEXITY OF SYNCHRONOUS NOTIONS
OF INFORMATION FLOW SECURITY 282 FRANCK CASSEZ, RON VAN DER MEYDEN, AND
CHENYI ZHANG CATEGORICA TABLE OF CONTENTS XV COALGEBRAIC CORRESPONDENCE
THEORY 328 LUTZ SCHROEDER AND DIRK PATTINSON LAMBDA CALCULUS AND TYPES
UNTYPED RECURSION SCHEMES AND INFINITE INTERSECTION TYPES 343 TAKESHI
TSUKADA AND NAOKI KOBAYASHI SOLVABILITY IN RESOURCE LAMBDA-CALCULUS 358
MICHELE PAGANI AND SIMONA RONCHI DELLA ROCCA A HIERARCHY FOR DELIMITED
CONTINUATIONS IN CALL-BY-NAME 374 ALEXIS SAURIN AUTHOR INDEX 389
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036091580 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.751 |
| callnumber-search | QA76.751 |
| callnumber-sort | QA 276.751 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 300f DAT 500f |
| ctrlnum | (OCoLC)586999183 (DE-599)DNB1000252078 |
| dewey-full | 005.01 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.01 |
| dewey-search | 005.01 |
| dewey-sort | 15.01 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02693nam a2200589 cb4500</leader><controlfield tag="001">BV036091580</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100323s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000252078</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642120312</subfield><subfield code="c">kart. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-12031-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642120312</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80011309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)586999183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000252078</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.01</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</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">Foundations of software science and computational structures</subfield><subfield code="b">13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings</subfield><subfield code="c">Luke Ong (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 388 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6014 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">2010</subfield><subfield code="z">Paphos Ktima</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ong, Luke</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059953-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</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">6014 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6014</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3427671&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=018982173&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-018982173</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
| genre_facet | Konferenzschrift 2010 Paphos Ktima |
| id | DE-604.BV036091580 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T22:59:17Z |
| institution | BVB |
| institution_GND | (DE-588)16059953-2 (DE-588)16059897-7 |
| isbn | 9783642120312 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018982173 |
| oclc_num | 586999183 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | XV, 388 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Lecture notes in computer science System analysis Congresses Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4116521-4 (DE-588)4196735-5 (DE-588)1071861417 |
| title | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_auth | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_exact_search | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_full | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Luke Ong (ed.) |
| title_fullStr | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Luke Ong (ed.) |
| title_full_unstemmed | Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Luke Ong (ed.) |
| title_short | Foundations of software science and computational structures |
| title_sort | foundations of software science and computational structures 13th international conference fossacs 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
| title_sub | 13th international conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| topic | System analysis Congresses Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | System analysis Congresses Programmierung Software Engineering Theoretische Informatik Konferenzschrift 2010 Paphos Ktima |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3427671&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=018982173&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ongluke foundationsofsoftwarescienceandcomputationalstructures13thinternationalconferencefossacs2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT fossacspaphos foundationsofsoftwarescienceandcomputationalstructures13thinternationalconferencefossacs2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos foundationsofsoftwarescienceandcomputationalstructures13thinternationalconferencefossacs2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |