Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2051 |
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 361 S. graph. Darst. |
| ISBN: | 3540421173 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013717402 | ||
| 003 | DE-604 | ||
| 005 | 20010713 | ||
| 007 | t| | ||
| 008 | 010430s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 961377526 |2 DE-101 | |
| 020 | |a 3540421173 |9 3-540-42117-3 | ||
| 035 | |a (OCoLC)47927792 | ||
| 035 | |a (DE-599)BVBBV013717402 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a DAT 554f |2 stub | ||
| 245 | 1 | 0 | |a Rewriting techniques and applications |b 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings |c Aart Middeldorp (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XII, 361 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2051 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 4 | |a Algorithmes - Congrès | |
| 650 | 7 | |a Algorithmes - Congrès |2 ram | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Computermethoden |2 gtt | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 4 | |a Réécriture, Systèmes de (Informatique) - Congrès | |
| 650 | 7 | |a Réécriture, Systèmes de (informatique) - Congrès |2 ram | |
| 650 | 7 | |a Specificatie |2 gtt | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a unification |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Algorithms |v Congresses | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Rewriting systems (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Utrecht |2 gnd-content | |
| 689 | 0 | 0 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Middeldorp, Aart |d 1963- |e Sonstige |0 (DE-588)121450279 |4 oth | |
| 711 | 2 | |a RTA |n 12 |d 2001 |c Utrecht |j Sonstige |0 (DE-588)10019288-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2051 |w (DE-604)BV000000607 |9 2051 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009373808 | |
Record in the Search Index
| _version_ | 1820874902300786688 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)121450279 |
| building | Verbundindex |
| bvnumber | BV013717402 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 554f |
| ctrlnum | (OCoLC)47927792 (DE-599)BVBBV013717402 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013717402</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010713</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010430s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961377526</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540421173</subfield><subfield code="9">3-540-42117-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47927792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013717402</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rewriting techniques and applications</subfield><subfield code="b">12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings</subfield><subfield code="c">Aart Middeldorp (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 361 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2051</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmes - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithmes - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computermethoden</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réécriture, Systèmes de (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Réécriture, Systèmes de (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Specificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">unification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</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="y">2001</subfield><subfield code="z">Utrecht</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</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">Middeldorp, Aart</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121450279</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RTA</subfield><subfield code="n">12</subfield><subfield code="d">2001</subfield><subfield code="c">Utrecht</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10019288-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2051</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2051</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009373808</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Utrecht gnd-content |
| genre_facet | Konferenzschrift 2001 Utrecht |
| id | DE-604.BV013717402 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:07Z |
| institution | BVB |
| institution_GND | (DE-588)10019288-9 |
| isbn | 3540421173 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009373808 |
| oclc_num | 47927792 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| physical | XII, 361 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings Aart Middeldorp (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XII, 361 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2051 Literaturangaben Algebraïsche logica gtt Algorithmes - Congrès Algorithmes - Congrès ram Bewijstheorie gtt Computermethoden gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram Specificatie gtt déduction automatique inriac démonstration théorème inriac méthode formelle inriac réécriture inriac unification inriac vérification inriac Algorithms Congresses Computer programming Congresses Rewriting systems (Computer science) Congresses Reduktionssystem (DE-588)4194895-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Utrecht gnd-content Reduktionssystem (DE-588)4194895-6 s DE-604 Middeldorp, Aart 1963- Sonstige (DE-588)121450279 oth RTA 12 2001 Utrecht Sonstige (DE-588)10019288-9 oth Lecture notes in computer science 2051 (DE-604)BV000000607 2051 |
| spellingShingle | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings Lecture notes in computer science Algebraïsche logica gtt Algorithmes - Congrès Algorithmes - Congrès ram Bewijstheorie gtt Computermethoden gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram Specificatie gtt déduction automatique inriac démonstration théorème inriac méthode formelle inriac réécriture inriac unification inriac vérification inriac Algorithms Congresses Computer programming Congresses Rewriting systems (Computer science) Congresses Reduktionssystem (DE-588)4194895-6 gnd |
| subject_GND | (DE-588)4194895-6 (DE-588)1071861417 |
| title | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings |
| title_auth | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings |
| title_exact_search | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings |
| title_full | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings Aart Middeldorp (ed.) |
| title_fullStr | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings Aart Middeldorp (ed.) |
| title_full_unstemmed | Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings Aart Middeldorp (ed.) |
| title_short | Rewriting techniques and applications |
| title_sort | rewriting techniques and applications 12th international conference rta 2001 utrecht the netherlands may 22 24 2001 proceedings |
| title_sub | 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings |
| topic | Algebraïsche logica gtt Algorithmes - Congrès Algorithmes - Congrès ram Bewijstheorie gtt Computermethoden gtt Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès ram Specificatie gtt déduction automatique inriac démonstration théorème inriac méthode formelle inriac réécriture inriac unification inriac vérification inriac Algorithms Congresses Computer programming Congresses Rewriting systems (Computer science) Congresses Reduktionssystem (DE-588)4194895-6 gnd |
| topic_facet | Algebraïsche logica Algorithmes - Congrès Bewijstheorie Computermethoden Ordinateurs - Programmation - Congrès Programmation (Informatique) - Congrès Réécriture, Systèmes de (Informatique) - Congrès Réécriture, Systèmes de (informatique) - Congrès Specificatie déduction automatique démonstration théorème méthode formelle réécriture unification vérification Algorithms Congresses Computer programming Congresses Rewriting systems (Computer science) Congresses Reduktionssystem Konferenzschrift 2001 Utrecht |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT middeldorpaart rewritingtechniquesandapplications12thinternationalconferencerta2001utrechtthenetherlandsmay22242001proceedings AT rtautrecht rewritingtechniquesandapplications12thinternationalconferencerta2001utrechtthenetherlandsmay22242001proceedings |