2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken/Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
September 2017
|
| Schriftenreihe: | LIPIcs
Vol. 84 |
| Schlagworte: | |
| Online-Zugang: | http://d-nb.info/1139911775/34 Volltext Volltext |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783959770477 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044853099 | ||
| 003 | DE-604 | ||
| 005 | 20190717 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180306s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783959770477 |c Online |9 978-3-95977-047-7 | ||
| 024 | 7 | |a 10.4230/LIPIcs.FSCD.2017.0 |2 doi | |
| 024 | 7 | |a urn:nbn:de:0030-drops-79063 |2 urn | |
| 035 | |a (OCoLC)1028539354 | ||
| 035 | |a (DE-599)BVBBV044853099 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a FSCD |n 2. |d 2017 |c Oxford |j Verfasser |0 (DE-588)1153753340 |4 aut | |
| 245 | 1 | 0 | |a 2nd International Conference on Formal Structures for Computation and Deduction |b FSCD 2017, September 3–9, 2017, Oxford, UK |c edited by Dale Miller |
| 246 | 1 | 3 | |a FSCD 2017 |
| 246 | 1 | 3 | |a Second International Conference on Formal Structures for Computation and Deduction |
| 246 | 1 | 3 | |a International Conference on Formal Structures for Computation and Deduction |
| 246 | 1 | 3 | |a Conference on Formal Structures for Computation and Deduction |
| 264 | 1 | |a Saarbrücken/Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |c September 2017 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a LIPIcs |v Vol. 84 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Miller, Dale |d 1956- |0 (DE-588)1026682142 |4 edt | |
| 830 | 0 | |a LIPIcs |v Vol. 84 |w (DE-604)BV039164160 |9 84 | |
| 856 | 4 | |u http://d-nb.info/1139911775/34 | |
| 856 | 4 | 0 | |u http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16044 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://drops.dagstuhl.de/opus/volltexte/2017/7906/ |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030247953 | ||
Datensatz im Suchindex
| _version_ | 1804178370958721024 |
|---|---|
| any_adam_object | |
| author2 | Miller, Dale 1956- |
| author2_role | edt |
| author2_variant | d m dm |
| author_GND | (DE-588)1026682142 |
| author_corporate | FSCD Oxford |
| author_corporate_role | aut |
| author_facet | Miller, Dale 1956- FSCD Oxford |
| author_sort | FSCD Oxford |
| building | Verbundindex |
| bvnumber | BV044853099 |
| classification_tum | DAT 500f |
| collection | ebook |
| ctrlnum | (OCoLC)1028539354 (DE-599)BVBBV044853099 |
| 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>02040nmm a2200481 cb4500</leader><controlfield tag="001">BV044853099</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190717 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180306s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783959770477</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-95977-047-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4230/LIPIcs.FSCD.2017.0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-79063</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1028539354</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044853099</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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FSCD</subfield><subfield code="n">2.</subfield><subfield code="d">2017</subfield><subfield code="c">Oxford</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1153753340</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">2nd International Conference on Formal Structures for Computation and Deduction</subfield><subfield code="b">FSCD 2017, September 3–9, 2017, Oxford, UK</subfield><subfield code="c">edited by Dale Miller</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FSCD 2017</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Second International Conference on Formal Structures for Computation and Deduction</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Formal Structures for Computation and Deduction</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Conference on Formal Structures for Computation and Deduction</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken/Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing</subfield><subfield code="c">September 2017</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="490" ind1="1" ind2=" "><subfield code="a">LIPIcs</subfield><subfield code="v">Vol. 84</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="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="700" ind1="1" ind2=" "><subfield code="a">Miller, Dale</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)1026682142</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs</subfield><subfield code="v">Vol. 84</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">84</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://d-nb.info/1139911775/34</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16044</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://drops.dagstuhl.de/opus/volltexte/2017/7906/</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-030247953</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044853099 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:02:54Z |
| institution | BVB |
| institution_GND | (DE-588)1153753340 |
| isbn | 9783959770477 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030247953 |
| oclc_num | 1028539354 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| record_format | marc |
| series | LIPIcs |
| series2 | LIPIcs |
| spelling | FSCD 2. 2017 Oxford Verfasser (DE-588)1153753340 aut 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK edited by Dale Miller FSCD 2017 Second International Conference on Formal Structures for Computation and Deduction International Conference on Formal Structures for Computation and Deduction Conference on Formal Structures for Computation and Deduction Saarbrücken/Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing September 2017 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier LIPIcs Vol. 84 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Miller, Dale 1956- (DE-588)1026682142 edt LIPIcs Vol. 84 (DE-604)BV039164160 84 http://d-nb.info/1139911775/34 http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16044 Verlag kostenfrei Volltext http://drops.dagstuhl.de/opus/volltexte/2017/7906/ Verlag kostenfrei Volltext |
| spellingShingle | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK LIPIcs Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK |
| title_alt | FSCD 2017 Second International Conference on Formal Structures for Computation and Deduction International Conference on Formal Structures for Computation and Deduction Conference on Formal Structures for Computation and Deduction |
| title_auth | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK |
| title_exact_search | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK |
| title_full | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK edited by Dale Miller |
| title_fullStr | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK edited by Dale Miller |
| title_full_unstemmed | 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK edited by Dale Miller |
| title_short | 2nd International Conference on Formal Structures for Computation and Deduction |
| title_sort | 2nd international conference on formal structures for computation and deduction fscd 2017 september 3 9 2017 oxford uk |
| title_sub | FSCD 2017, September 3–9, 2017, Oxford, UK |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift |
| url | http://d-nb.info/1139911775/34 http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16044 http://drops.dagstuhl.de/opus/volltexte/2017/7906/ |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT fscdoxford 2ndinternationalconferenceonformalstructuresforcomputationanddeductionfscd2017september392017oxforduk AT millerdale 2ndinternationalconferenceonformalstructuresforcomputationanddeductionfscd2017september392017oxforduk AT fscdoxford fscd2017 AT millerdale fscd2017 AT fscdoxford secondinternationalconferenceonformalstructuresforcomputationanddeduction AT millerdale secondinternationalconferenceonformalstructuresforcomputationanddeduction AT fscdoxford internationalconferenceonformalstructuresforcomputationanddeduction AT millerdale internationalconferenceonformalstructuresforcomputationanddeduction AT fscdoxford conferenceonformalstructuresforcomputationanddeduction AT millerdale conferenceonformalstructuresforcomputationanddeduction |