24th International Conference on Rewriting Techniques and Applications (RTA 2013): RTA’13, June 24–26, 2013, Eindhoven, The Netherlands
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
2013
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceedings in Informatics
Volume 21 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897538 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043995812 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170112s2013 |||| o||u| ||||||eng d | ||
| 015 | |a 13,O07 |2 dnb | ||
| 016 | 7 | |a 1036400824 |2 DE-101 | |
| 020 | |a 9783939897538 |c Online |9 978-393-98975-3-8 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-40943 |2 urn | |
| 035 | |a (OCoLC)860324560 | ||
| 035 | |a (DE-599)DNB1036400824 | ||
| 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 554f |2 stub | ||
| 111 | 2 | |a International Conference on Rewriting Techniques and Applications |n 24. |d 2013 |c Eindhoven |j Verfasser |0 (DE-588)1123240868 |4 aut | |
| 245 | 1 | 0 | |a 24th International Conference on Rewriting Techniques and Applications (RTA 2013) |b RTA’13, June 24–26, 2013, Eindhoven, The Netherlands |c Edited by Fremke van Raamsdonk |
| 246 | 1 | 3 | |a International Conference on Rewriting Techniques and Applications |
| 246 | 1 | 3 | |a Twenty-fourth International Conference on Rewriting Techniques and Applications |
| 264 | 1 | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2013 | |
| 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 21 | |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a van Raamsdonk, Fremke |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 21 |w (DE-604)BV039164160 |9 21 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-40943 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-40943 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1036400824/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-53-8 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029403891 | ||
Datensatz im Suchindex
| _version_ | 1804176973433405440 |
|---|---|
| any_adam_object | |
| author2 | van Raamsdonk, Fremke |
| author2_role | edt |
| author2_variant | r f v rf rfv |
| author_corporate | International Conference on Rewriting Techniques and Applications Eindhoven |
| author_corporate_role | aut |
| author_facet | van Raamsdonk, Fremke International Conference on Rewriting Techniques and Applications Eindhoven |
| author_sort | International Conference on Rewriting Techniques and Applications Eindhoven |
| building | Verbundindex |
| bvnumber | BV043995812 |
| classification_tum | DAT 554f |
| collection | ebook |
| ctrlnum | (OCoLC)860324560 (DE-599)DNB1036400824 |
| 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>02266nmm a22005171cb4500</leader><controlfield tag="001">BV043995812</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">170112s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1036400824</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897538</subfield><subfield code="c">Online</subfield><subfield code="9">978-393-98975-3-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-40943</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)860324560</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1036400824</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 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Rewriting Techniques and Applications</subfield><subfield code="n">24.</subfield><subfield code="d">2013</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123240868</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">24th International Conference on Rewriting Techniques and Applications (RTA 2013)</subfield><subfield code="b">RTA’13, June 24–26, 2013, Eindhoven, The Netherlands</subfield><subfield code="c">Edited by Fremke van Raamsdonk</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Rewriting Techniques and Applications</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Twenty-fourth International Conference on Rewriting Techniques and Applications</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">2013</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 21</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-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">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-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">van Raamsdonk, Fremke</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 21</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">21</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-40943</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-40943</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/1036400824/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-53-8</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-029403891</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043995812 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:41Z |
| institution | BVB |
| institution_GND | (DE-588)1123240868 |
| isbn | 9783939897538 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029403891 |
| oclc_num | 860324560 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| 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 Rewriting Techniques and Applications 24. 2013 Eindhoven Verfasser (DE-588)1123240868 aut 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands Edited by Fremke van Raamsdonk International Conference on Rewriting Techniques and Applications Twenty-fourth International Conference on Rewriting Techniques and Applications Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2013 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 21 Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Termersetzungssystem (DE-588)4117189-5 s DE-604 van Raamsdonk, Fremke edt LIPIcs - Leibniz International Proceedings in Informatics Volume 21 (DE-604)BV039164160 21 https://nbn-resolving.org/urn:nbn:de:0030-drops-40943 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-40943 Resolving-System kostenfrei http://d-nb.info/1036400824/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-53-8 Verlag kostenfrei |
| spellingShingle | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands LIPIcs - Leibniz International Proceedings in Informatics Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4117189-5 (DE-588)1071861417 |
| title | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands |
| title_alt | International Conference on Rewriting Techniques and Applications Twenty-fourth International Conference on Rewriting Techniques and Applications |
| title_auth | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands |
| title_exact_search | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands |
| title_full | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands Edited by Fremke van Raamsdonk |
| title_fullStr | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands Edited by Fremke van Raamsdonk |
| title_full_unstemmed | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) RTA’13, June 24–26, 2013, Eindhoven, The Netherlands Edited by Fremke van Raamsdonk |
| title_short | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) |
| title_sort | 24th international conference on rewriting techniques and applications rta 2013 rta 13 june 24 26 2013 eindhoven the netherlands |
| title_sub | RTA’13, June 24–26, 2013, Eindhoven, The Netherlands |
| topic | Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Termersetzungssystem Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-40943 http://d-nb.info/1036400824/34 http://www.dagstuhl.de/dagpub/978-3-939897-53-8 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT internationalconferenceonrewritingtechniquesandapplicationseindhoven 24thinternationalconferenceonrewritingtechniquesandapplicationsrta2013rta13june24262013eindhoventhenetherlands AT vanraamsdonkfremke 24thinternationalconferenceonrewritingtechniquesandapplicationsrta2013rta13june24262013eindhoventhenetherlands AT internationalconferenceonrewritingtechniquesandapplicationseindhoven internationalconferenceonrewritingtechniquesandapplications AT vanraamsdonkfremke internationalconferenceonrewritingtechniquesandapplications AT internationalconferenceonrewritingtechniquesandapplicationseindhoven twentyfourthinternationalconferenceonrewritingtechniquesandapplications AT vanraamsdonkfremke twentyfourthinternationalconferenceonrewritingtechniquesandapplications |