Rewriting techniques and applications: proceedings
Saved in:
| Format: | Conference Proceeding Journal |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg [u.a.]
Springer
1985-1989
|
| Subjects: | |
| Published: | 1.1985 - 3.1989 |
| Item Description: | Urh. anfangs: International Conference on Rewriting Techniques and Applications |
Staff View
MARC
| LEADER | 00000nas a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV050136648 | ||
| 003 | DE-604 | ||
| 005 | 20250129082858 | ||
| 007 | t| | ||
| 008 | 991120d19851989gw || p| |||| 1 ||eng d | ||
| 016 | 7 | |a 013694677 |2 DE-101 | |
| 016 | 7 | |a 635648-5 |2 DE-600 | |
| 035 | |a (OCoLC)1186222225 | ||
| 035 | |a (DE-599)ZDB635648-5 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-83 | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 004 |2 22sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Rewriting techniques and applications |b proceedings |c RTA |
| 246 | 1 | 3 | |a Lecture notes in computer science / Rewriting techniques and applications |
| 264 | 3 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 1985-1989 |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 362 | 0 | |a 1.1985 - 3.1989 | |
| 363 | 0 | 0 | |8 1.1\x |a 1 |i 1985 |
| 363 | 1 | 0 | |8 1.2\x |a 3 |i 1989 |
| 500 | |a Urh. anfangs: International Conference on Rewriting Techniques and Applications | ||
| 515 | |a Forts. als Monographie behandelt | ||
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4067488-5 |a Zeitschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 711 | 2 | |a International Conference on Rewriting Techniques and Applications |0 (DE-588)215455-9 |4 isb | |
| 711 | 2 | |a RTA |0 (DE-588)2105761-8 |4 isb | |
| 787 | 0 | 8 | |i 1=202; 2=256; 3=355 von |t Lecture notes in computer science |d Berlin, Germany ; Heidelberg, Germany : Springer, 1973- |x 0302-9743 |w (DE-600)121909-1 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035473201 | |
Record in the Search Index
| _version_ | 1825057047928897536 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV050136648 |
| ctrlnum | 635648-5 (OCoLC)1186222225 (DE-599)ZDB635648-5 |
| dateSpan | 1.1985 - 3.1989 |
| discipline | Informatik |
| format | Conference Proceeding Journal |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nas a2200000 c 4500</leader><controlfield tag="001">BV050136648</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250129082858</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991120d19851989gw || p| |||| 1 ||eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">013694677</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">635648-5</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1186222225</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB635648-5</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</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">004</subfield><subfield code="2">22sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rewriting techniques and applications</subfield><subfield code="b">proceedings</subfield><subfield code="c">RTA</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Lecture notes in computer science / Rewriting techniques and applications</subfield></datafield><datafield tag="264" ind1="3" ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1985-1989</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="362" ind1="0" ind2=" "><subfield code="a">1.1985 - 3.1989</subfield></datafield><datafield tag="363" ind1="0" ind2="0"><subfield code="8">1.1\x</subfield><subfield code="a">1</subfield><subfield code="i">1985</subfield></datafield><datafield tag="363" ind1="1" ind2="0"><subfield code="8">1.2\x</subfield><subfield code="a">3</subfield><subfield code="i">1989</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Urh. anfangs: International Conference on Rewriting Techniques and Applications</subfield></datafield><datafield tag="515" ind1=" " ind2=" "><subfield code="a">Forts. als Monographie behandelt</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4067488-5</subfield><subfield code="a">Zeitschrift</subfield><subfield code="2">gnd-content</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Rewriting Techniques and Applications</subfield><subfield code="0">(DE-588)215455-9</subfield><subfield code="4">isb</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RTA</subfield><subfield code="0">(DE-588)2105761-8</subfield><subfield code="4">isb</subfield></datafield><datafield tag="787" ind1="0" ind2="8"><subfield code="i">1=202; 2=256; 3=355 von</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany ; Heidelberg, Germany : Springer, 1973-</subfield><subfield code="x">0302-9743</subfield><subfield code="w">(DE-600)121909-1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035473201</subfield></datafield></record></collection> |
| genre | (DE-588)4067488-5 Zeitschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Zeitschrift Konferenzschrift |
| id | DE-604.BV050136648 |
| illustrated | Illustrated |
| indexdate | 2025-02-25T19:00:32Z |
| institution | BVB |
| institution_GND | (DE-588)215455-9 (DE-588)2105761-8 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035473201 |
| oclc_num | 1186222225 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| publishDate | 1985 |
| publishDateSearch | 1985 1986 1987 1988 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| spelling | Rewriting techniques and applications proceedings RTA Lecture notes in computer science / Rewriting techniques and applications Berlin ; Heidelberg [u.a.] Springer 1985-1989 txt rdacontent n rdamedia nc rdacarrier 1.1985 - 3.1989 1.1\x 1 1985 1.2\x 3 1989 Urh. anfangs: International Conference on Rewriting Techniques and Applications Forts. als Monographie behandelt Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)4067488-5 Zeitschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 International Conference on Rewriting Techniques and Applications (DE-588)215455-9 isb RTA (DE-588)2105761-8 isb 1=202; 2=256; 3=355 von Lecture notes in computer science Berlin, Germany ; Heidelberg, Germany : Springer, 1973- 0302-9743 (DE-600)121909-1 |
| spellingShingle | Rewriting techniques and applications proceedings Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4067488-5 (DE-588)1071861417 |
| title | Rewriting techniques and applications proceedings |
| title_alt | Lecture notes in computer science / Rewriting techniques and applications |
| title_auth | Rewriting techniques and applications proceedings |
| title_exact_search | Rewriting techniques and applications proceedings |
| title_full | Rewriting techniques and applications proceedings RTA |
| title_fullStr | Rewriting techniques and applications proceedings RTA |
| title_full_unstemmed | Rewriting techniques and applications proceedings RTA |
| title_short | Rewriting techniques and applications |
| title_sort | rewriting techniques and applications proceedings |
| title_sub | proceedings |
| topic | Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatisches Beweisverfahren Zeitschrift Konferenzschrift |
| work_keys_str_mv | AT internationalconferenceonrewritingtechniquesandapplications rewritingtechniquesandapplicationsproceedings AT rta rewritingtechniquesandapplicationsproceedings AT internationalconferenceonrewritingtechniquesandapplications lecturenotesincomputersciencerewritingtechniquesandapplications AT rta lecturenotesincomputersciencerewritingtechniquesandapplications |
| zdb_num | 635648-5 (DE-599)ZDB635648-5 |