Higher order rewrite systems and their confluence:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
Inst. für Informatik
1994
|
| Beschreibung: | Literaturverz. S. 26 - 28 |
| Beschreibung: | 28 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009967267 | ||
| 003 | DE-604 | ||
| 005 | 20241104 | ||
| 007 | t | ||
| 008 | 941219s1994 gw t||| 00||| eng d | ||
| 016 | 7 | |a 942881575 |2 DE-101 | |
| 035 | |a (OCoLC)312528624 | ||
| 035 | |a (DE-599)BVBBV009967267 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a TUM I 9433 | ||
| 100 | 1 | |a Mayr, Richard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Higher order rewrite systems and their confluence |c Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München |
| 264 | 1 | |a München |b Inst. für Informatik |c 1994 | |
| 300 | |a 28 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 26 - 28 | ||
| 700 | 1 | |a Nipkow, Tobias |d 1958- |e Verfasser |0 (DE-588)17275660X |4 aut | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006605751 | |
Datensatz im Suchindex
| _version_ | 1814812038910705665 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Mayr, Richard Nipkow, Tobias 1958- |
| author_GND | (DE-588)17275660X |
| author_facet | Mayr, Richard Nipkow, Tobias 1958- |
| author_role | aut aut |
| author_sort | Mayr, Richard |
| author_variant | r m rm t n tn |
| building | Verbundindex |
| bvnumber | BV009967267 |
| ctrlnum | (OCoLC)312528624 (DE-599)BVBBV009967267 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009967267</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241104</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941219s1994 gw t||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942881575</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)312528624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009967267</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-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9433</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mayr, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher order rewrite systems and their confluence</subfield><subfield code="c">Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Inst. für Informatik</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 S.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 26 - 28</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17275660X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006605751</subfield></datafield></record></collection> |
| id | DE-604.BV009967267 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-04T17:00:30Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006605751 |
| oclc_num | 312528624 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 28 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Inst. für Informatik |
| record_format | marc |
| spelling | Mayr, Richard Verfasser aut Higher order rewrite systems and their confluence Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München München Inst. für Informatik 1994 28 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 26 - 28 Nipkow, Tobias 1958- Verfasser (DE-588)17275660X aut |
| spellingShingle | Mayr, Richard Nipkow, Tobias 1958- Higher order rewrite systems and their confluence |
| title | Higher order rewrite systems and their confluence |
| title_auth | Higher order rewrite systems and their confluence |
| title_exact_search | Higher order rewrite systems and their confluence |
| title_full | Higher order rewrite systems and their confluence Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München |
| title_fullStr | Higher order rewrite systems and their confluence Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München |
| title_full_unstemmed | Higher order rewrite systems and their confluence Richard Mayr and Tobias Nipkow. TUM, Institut für Informatik, Technische Universität München |
| title_short | Higher order rewrite systems and their confluence |
| title_sort | higher order rewrite systems and their confluence |
| work_keys_str_mv | AT mayrrichard higherorderrewritesystemsandtheirconfluence AT nipkowtobias higherorderrewritesystemsandtheirconfluence |