Computer science logic 2016: CSL 2016, August 29 to September 1, 2016, Marseille, France
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken/Wadern, Germany
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
August 2016
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceedings in Informatics
Vol. 62 |
| Schlagworte: | |
| Online-Zugang: | kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783959770224 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV044203726 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170301s2016 |||| o||u| ||||||eng d | ||
| 015 | |a 16,O10 |2 dnb | ||
| 016 | 7 | |a 1113110783 |2 DE-101 | |
| 020 | |a 9783959770224 |c Online |9 978-3-95977-022-4 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-66715 |2 urn | |
| 035 | |a (OCoLC)958066564 | ||
| 035 | |a (DE-599)DNB1113110783 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a CSL |n 25. |d 2016 |c Marseille |j Verfasser |0 (DE-588)1126583359 |4 aut | |
| 245 | 1 | 0 | |a Computer science logic 2016 |b CSL 2016, August 29 to September 1, 2016, Marseille, France |c edited by Jean-Marc Talbot, Laurent Regnier |
| 246 | 1 | 3 | |a 25th EACSL annual conference on computer science logic |
| 246 | 1 | 3 | |a Twenty-fifth EACSL annual conference on computer science logic |
| 246 | 1 | 3 | |a EACSL annual conference on computer science logic |
| 246 | 1 | 3 | |a Annual conference on computer science logic |
| 246 | 1 | 3 | |a Conference on computer science logic |
| 246 | 1 | 3 | |a 25th annual conference of the EACSL |
| 246 | 1 | 3 | |a 30th workshop of EACSL |
| 264 | 1 | |a Saarbrücken/Wadern, Germany |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |c August 2016 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 340 | |a Online-Ressource | ||
| 490 | 1 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Vol. 62 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Talbot, Jean-Marc |4 edt | |
| 700 | 1 | |a Regnier, Laurent |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Vol. 62 |w (DE-604)BV039164160 |9 62 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-66715 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1113110783/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |q application/pdf |u http://www.dagstuhl.de/dagpub/978-3-95977-022-4 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029610181 | ||
Datensatz im Suchindex
| _version_ | 1804177340116238336 |
|---|---|
| any_adam_object | |
| author2 | Talbot, Jean-Marc Regnier, Laurent |
| author2_role | edt edt |
| author2_variant | j m t jmt l r lr |
| author_corporate | CSL Marseille |
| author_corporate_role | aut |
| author_facet | Talbot, Jean-Marc Regnier, Laurent CSL Marseille |
| author_sort | CSL Marseille |
| building | Verbundindex |
| bvnumber | BV044203726 |
| classification_tum | DAT 540f |
| collection | ebook |
| ctrlnum | (OCoLC)958066564 (DE-599)DNB1113110783 |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02527nmm a22005891cb4500</leader><controlfield tag="001">BV044203726</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170314 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170301s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">16,O10</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1113110783</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783959770224</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-95977-022-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-66715</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)958066564</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1113110783</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">25.</subfield><subfield code="d">2016</subfield><subfield code="c">Marseille</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1126583359</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science logic 2016</subfield><subfield code="b">CSL 2016, August 29 to September 1, 2016, Marseille, France</subfield><subfield code="c">edited by Jean-Marc Talbot, Laurent Regnier</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">25th EACSL annual conference on computer science logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Twenty-fifth EACSL annual conference on computer science logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">EACSL annual conference on computer science logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Annual conference on computer science logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Conference on computer science logic</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">25th annual conference of the EACSL</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">30th workshop of EACSL</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken/Wadern, Germany</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing</subfield><subfield code="c">August 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="340" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Vol. 62</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Talbot, Jean-Marc</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Regnier, Laurent</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Vol. 62</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">62</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-66715</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1113110783/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="q">application/pdf</subfield><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-95977-022-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029610181</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044203726 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:46:31Z |
| institution | BVB |
| institution_GND | (DE-588)1126583359 |
| isbn | 9783959770224 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029610181 |
| oclc_num | 958066564 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| record_format | marc |
| series | LIPIcs - Leibniz International Proceedings in Informatics |
| series2 | LIPIcs - Leibniz International Proceedings in Informatics |
| spelling | CSL 25. 2016 Marseille Verfasser (DE-588)1126583359 aut Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France edited by Jean-Marc Talbot, Laurent Regnier 25th EACSL annual conference on computer science logic Twenty-fifth EACSL annual conference on computer science logic EACSL annual conference on computer science logic Annual conference on computer science logic Conference on computer science logic 25th annual conference of the EACSL 30th workshop of EACSL Saarbrücken/Wadern, Germany Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing August 2016 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Vol. 62 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s Programmierlogik (DE-588)4047408-2 s DE-604 Talbot, Jean-Marc edt Regnier, Laurent edt LIPIcs - Leibniz International Proceedings in Informatics Vol. 62 (DE-604)BV039164160 62 https://nbn-resolving.org/urn:nbn:de:0030-drops-66715 Resolving-System kostenfrei http://d-nb.info/1113110783/34 Langzeitarchivierung Nationalbibliothek kostenfrei Volltext application/pdf http://www.dagstuhl.de/dagpub/978-3-95977-022-4 Verlag kostenfrei Volltext |
| spellingShingle | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France LIPIcs - Leibniz International Proceedings in Informatics Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4047408-2 (DE-588)1071861417 |
| title | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France |
| title_alt | 25th EACSL annual conference on computer science logic Twenty-fifth EACSL annual conference on computer science logic EACSL annual conference on computer science logic Annual conference on computer science logic Conference on computer science logic 25th annual conference of the EACSL 30th workshop of EACSL |
| title_auth | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France |
| title_exact_search | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France |
| title_full | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France edited by Jean-Marc Talbot, Laurent Regnier |
| title_fullStr | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France edited by Jean-Marc Talbot, Laurent Regnier |
| title_full_unstemmed | Computer science logic 2016 CSL 2016, August 29 to September 1, 2016, Marseille, France edited by Jean-Marc Talbot, Laurent Regnier |
| title_short | Computer science logic 2016 |
| title_sort | computer science logic 2016 csl 2016 august 29 to september 1 2016 marseille france |
| title_sub | CSL 2016, August 29 to September 1, 2016, Marseille, France |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd |
| topic_facet | Mathematische Logik Programmierlogik Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-66715 http://d-nb.info/1113110783/34 http://www.dagstuhl.de/dagpub/978-3-95977-022-4 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT cslmarseille computersciencelogic2016csl2016august29toseptember12016marseillefrance AT talbotjeanmarc computersciencelogic2016csl2016august29toseptember12016marseillefrance AT regnierlaurent computersciencelogic2016csl2016august29toseptember12016marseillefrance AT cslmarseille 25theacslannualconferenceoncomputersciencelogic AT talbotjeanmarc 25theacslannualconferenceoncomputersciencelogic AT regnierlaurent 25theacslannualconferenceoncomputersciencelogic AT cslmarseille twentyfiftheacslannualconferenceoncomputersciencelogic AT talbotjeanmarc twentyfiftheacslannualconferenceoncomputersciencelogic AT regnierlaurent twentyfiftheacslannualconferenceoncomputersciencelogic AT cslmarseille eacslannualconferenceoncomputersciencelogic AT talbotjeanmarc eacslannualconferenceoncomputersciencelogic AT regnierlaurent eacslannualconferenceoncomputersciencelogic AT cslmarseille annualconferenceoncomputersciencelogic AT talbotjeanmarc annualconferenceoncomputersciencelogic AT regnierlaurent annualconferenceoncomputersciencelogic AT cslmarseille conferenceoncomputersciencelogic AT talbotjeanmarc conferenceoncomputersciencelogic AT regnierlaurent conferenceoncomputersciencelogic AT cslmarseille 25thannualconferenceoftheeacsl AT talbotjeanmarc 25thannualconferenceoftheeacsl AT regnierlaurent 25thannualconferenceoftheeacsl AT cslmarseille 30thworkshopofeacsl AT talbotjeanmarc 30thworkshopofeacsl AT regnierlaurent 30thworkshopofeacsl |