Automatically proving termination and innermost normalisation of term rewriting systems: = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
1997
|
| Schlagworte: | |
| Beschreibung: | Zs.fassung in niederl. Sprache. - Utrecht, Univ., Diss., 1997 |
| Beschreibung: | IV, 177 S. |
| ISBN: | 9039314098 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011598788 | ||
| 003 | DE-604 | ||
| 005 | 19990202 | ||
| 007 | t | ||
| 008 | 971029s1997 m||| 00||| eng d | ||
| 020 | |a 9039314098 |9 90-393-1409-8 | ||
| 035 | |a (OCoLC)68315380 | ||
| 035 | |a (DE-599)BVBBV011598788 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-188 | ||
| 100 | 1 | |a Arts, Thomas Henricus Johannes Joseph |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automatically proving termination and innermost normalisation of term rewriting systems |b = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |c door Thomas Henricus Johannes Joseph Arts |
| 246 | 1 | 1 | |a Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| 264 | 1 | |c 1997 | |
| 300 | |a IV, 177 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zs.fassung in niederl. Sprache. - Utrecht, Univ., Diss., 1997 | ||
| 502 | |a Utrecht, Univ., Diss., 1997 | ||
| 650 | 7 | |a Herschrijfregels |2 gtt | |
| 650 | 7 | |a Modellen |2 gtt | |
| 650 | 7 | |a Software |2 gtt | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 655 | 7 | |a Proefschriften (vorm) |2 gtt | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007813431 | ||
Datensatz im Suchindex
| _version_ | 1804126128449781760 |
|---|---|
| any_adam_object | |
| author | Arts, Thomas Henricus Johannes Joseph |
| author_facet | Arts, Thomas Henricus Johannes Joseph |
| author_role | aut |
| author_sort | Arts, Thomas Henricus Johannes Joseph |
| author_variant | t h j j a thjj thjja |
| building | Verbundindex |
| bvnumber | BV011598788 |
| ctrlnum | (OCoLC)68315380 (DE-599)BVBBV011598788 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01315nam a2200349 c 4500</leader><controlfield tag="001">BV011598788</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990202 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971029s1997 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9039314098</subfield><subfield code="9">90-393-1409-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)68315380</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011598788</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arts, Thomas Henricus Johannes Joseph</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatically proving termination and innermost normalisation of term rewriting systems</subfield><subfield code="b">= Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen</subfield><subfield code="c">door Thomas Henricus Johannes Joseph Arts</subfield></datafield><datafield tag="246" ind1="1" ind2="1"><subfield code="a">Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 177 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">Zs.fassung in niederl. Sprache. - Utrecht, Univ., Diss., 1997</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Utrecht, Univ., Diss., 1997</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Herschrijfregels</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modellen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Proefschriften (vorm)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007813431</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content Proefschriften (vorm) gtt |
| genre_facet | Hochschulschrift Proefschriften (vorm) |
| id | DE-604.BV011598788 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:12:32Z |
| institution | BVB |
| isbn | 9039314098 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007813431 |
| oclc_num | 68315380 |
| open_access_boolean | |
| owner | DE-739 DE-188 |
| owner_facet | DE-739 DE-188 |
| physical | IV, 177 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| spelling | Arts, Thomas Henricus Johannes Joseph Verfasser aut Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen door Thomas Henricus Johannes Joseph Arts Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen 1997 IV, 177 S. txt rdacontent n rdamedia nc rdacarrier Zs.fassung in niederl. Sprache. - Utrecht, Univ., Diss., 1997 Utrecht, Univ., Diss., 1997 Herschrijfregels gtt Modellen gtt Software gtt (DE-588)4113937-9 Hochschulschrift gnd-content Proefschriften (vorm) gtt |
| spellingShingle | Arts, Thomas Henricus Johannes Joseph Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen Herschrijfregels gtt Modellen gtt Software gtt |
| subject_GND | (DE-588)4113937-9 |
| title | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| title_alt | Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| title_auth | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| title_exact_search | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| title_full | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen door Thomas Henricus Johannes Joseph Arts |
| title_fullStr | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen door Thomas Henricus Johannes Joseph Arts |
| title_full_unstemmed | Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen door Thomas Henricus Johannes Joseph Arts |
| title_short | Automatically proving termination and innermost normalisation of term rewriting systems |
| title_sort | automatically proving termination and innermost normalisation of term rewriting systems het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| title_sub | = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen |
| topic | Herschrijfregels gtt Modellen gtt Software gtt |
| topic_facet | Herschrijfregels Modellen Software Hochschulschrift Proefschriften (vorm) |
| work_keys_str_mv | AT artsthomashenricusjohannesjoseph automaticallyprovingterminationandinnermostnormalisationoftermrewritingsystemshetautomatischbewijzenvanterminatieeninnermostnormalisatievantermherschrijfsystemen AT artsthomashenricusjohannesjoseph hetautomatischbewijzenvanterminatieeninnermostnormalisatievantermherschrijfsystemen |