19th International Conference on Types for Proofs and Programs (TYPES 2013): TYPES 2013, April 22–26, 2013, Toulouse, France
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
2014
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceedings in Informatics
Volume 26 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897729 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043995354 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170112s2014 |||| o||u| ||||||eng d | ||
| 015 | |a 14,O08 |2 dnb | ||
| 016 | 7 | |a 1054300798 |2 DE-101 | |
| 020 | |a 9783939897729 |c Online |9 978-3-939897-72-9 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-46365 |2 urn | |
| 035 | |a (OCoLC)885884509 | ||
| 035 | |a (DE-599)DNB1054300798 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 510f |2 stub | ||
| 111 | 2 | |a International Conference on Types for Proofs and Programs |n 19. |d 2015 |c Toulouse |j Verfasser |0 (DE-588)1123232881 |4 aut | |
| 245 | 1 | 0 | |a 19th International Conference on Types for Proofs and Programs (TYPES 2013) |b TYPES 2013, April 22–26, 2013, Toulouse, France |c Edited by Ralph Matthes, Aleksy Schubert |
| 246 | 1 | 3 | |a International Conference on Types for Proofs and Programs (TYPES 2013) |
| 246 | 1 | 3 | |a Nineteenth International Conference on Types for Proofs and Programs (TYPES 2013) |
| 264 | 1 | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2014 | |
| 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 Volume 26 | |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Matthes, Ralph |0 (DE-588)121224414 |4 edt | |
| 700 | 1 | |a Schubert, Aleksy |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 26 |w (DE-604)BV039164160 |9 26 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-46365 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-46365 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1054300798/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-72-9 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029403442 | ||
Datensatz im Suchindex
| _version_ | 1804176972688916480 |
|---|---|
| any_adam_object | |
| author2 | Matthes, Ralph Schubert, Aleksy |
| author2_role | edt edt |
| author2_variant | r m rm a s as |
| author_GND | (DE-588)121224414 |
| author_corporate | International Conference on Types for Proofs and Programs Toulouse |
| author_corporate_role | aut |
| author_facet | Matthes, Ralph Schubert, Aleksy International Conference on Types for Proofs and Programs Toulouse |
| author_sort | International Conference on Types for Proofs and Programs Toulouse |
| building | Verbundindex |
| bvnumber | BV043995354 |
| classification_tum | DAT 510f |
| collection | ebook |
| ctrlnum | (OCoLC)885884509 (DE-599)DNB1054300798 |
| 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 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02295nmm a22005291cb4500</leader><controlfield tag="001">BV043995354</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">170112s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,O08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1054300798</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897729</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-72-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-46365</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885884509</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1054300798</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="082" ind1="0" ind2=" "><subfield code="a">004</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 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Types for Proofs and Programs</subfield><subfield code="n">19.</subfield><subfield code="d">2015</subfield><subfield code="c">Toulouse</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123232881</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">19th International Conference on Types for Proofs and Programs (TYPES 2013)</subfield><subfield code="b">TYPES 2013, April 22–26, 2013, Toulouse, France</subfield><subfield code="c">Edited by Ralph Matthes, Aleksy Schubert</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Types for Proofs and Programs (TYPES 2013)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Nineteenth International Conference on Types for Proofs and Programs (TYPES 2013)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH</subfield><subfield code="c">2014</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">Volume 26</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-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">Matthes, Ralph</subfield><subfield code="0">(DE-588)121224414</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schubert, Aleksy</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">Volume 26</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">26</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-46365</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-46365</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/1054300798/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-72-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</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-029403442</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043995354 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:41Z |
| institution | BVB |
| institution_GND | (DE-588)1123232881 |
| isbn | 9783939897729 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029403442 |
| oclc_num | 885884509 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
| record_format | marc |
| series | LIPIcs - Leibniz International Proceedings in Informatics |
| series2 | LIPIcs - Leibniz International Proceedings in Informatics |
| spelling | International Conference on Types for Proofs and Programs 19. 2015 Toulouse Verfasser (DE-588)1123232881 aut 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France Edited by Ralph Matthes, Aleksy Schubert International Conference on Types for Proofs and Programs (TYPES 2013) Nineteenth International Conference on Types for Proofs and Programs (TYPES 2013) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2014 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 26 Typentheorie (DE-588)4121795-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Matthes, Ralph (DE-588)121224414 edt Schubert, Aleksy edt LIPIcs - Leibniz International Proceedings in Informatics Volume 26 (DE-604)BV039164160 26 https://nbn-resolving.org/urn:nbn:de:0030-drops-46365 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-46365 Resolving-System kostenfrei http://d-nb.info/1054300798/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-72-9 Verlag kostenfrei |
| spellingShingle | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France LIPIcs - Leibniz International Proceedings in Informatics Typentheorie (DE-588)4121795-0 gnd |
| subject_GND | (DE-588)4121795-0 (DE-588)1071861417 |
| title | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France |
| title_alt | International Conference on Types for Proofs and Programs (TYPES 2013) Nineteenth International Conference on Types for Proofs and Programs (TYPES 2013) |
| title_auth | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France |
| title_exact_search | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France |
| title_full | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France Edited by Ralph Matthes, Aleksy Schubert |
| title_fullStr | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France Edited by Ralph Matthes, Aleksy Schubert |
| title_full_unstemmed | 19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France Edited by Ralph Matthes, Aleksy Schubert |
| title_short | 19th International Conference on Types for Proofs and Programs (TYPES 2013) |
| title_sort | 19th international conference on types for proofs and programs types 2013 types 2013 april 22 26 2013 toulouse france |
| title_sub | TYPES 2013, April 22–26, 2013, Toulouse, France |
| topic | Typentheorie (DE-588)4121795-0 gnd |
| topic_facet | Typentheorie Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-46365 http://d-nb.info/1054300798/34 http://www.dagstuhl.de/dagpub/978-3-939897-72-9 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT internationalconferenceontypesforproofsandprogramstoulouse 19thinternationalconferenceontypesforproofsandprogramstypes2013types2013april22262013toulousefrance AT matthesralph 19thinternationalconferenceontypesforproofsandprogramstypes2013types2013april22262013toulousefrance AT schubertaleksy 19thinternationalconferenceontypesforproofsandprogramstypes2013types2013april22262013toulousefrance AT internationalconferenceontypesforproofsandprogramstoulouse internationalconferenceontypesforproofsandprogramstypes2013 AT matthesralph internationalconferenceontypesforproofsandprogramstypes2013 AT schubertaleksy internationalconferenceontypesforproofsandprogramstypes2013 AT internationalconferenceontypesforproofsandprogramstoulouse nineteenthinternationalconferenceontypesforproofsandprogramstypes2013 AT matthesralph nineteenthinternationalconferenceontypesforproofsandprogramstypes2013 AT schubertaleksy nineteenthinternationalconferenceontypesforproofsandprogramstypes2013 |