Decidability, behavioural equivalences and infinite transition graphs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Edinburgh
Univ. of Edinburgh, Department of Computer Science
1991
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 123 - 129. - Zugl.: Edinburg, Univ., Diss., 1991 |
| Beschreibung: | 129 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005485712 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 920820s1991 d||| m||| 00||| und d | ||
| 035 | |a (OCoLC)630491948 | ||
| 035 | |a (DE-599)BVBBV005485712 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 084 | |a MAT 055d |2 stub | ||
| 084 | |a DAT 540d |2 stub | ||
| 088 | |a CST 86 91 | ||
| 088 | |a ECS LFCS 91 191 | ||
| 100 | 1 | |a Hüttel, Hans |e Verfasser |0 (DE-588)125975260 |4 aut | |
| 245 | 1 | 0 | |a Decidability, behavioural equivalences and infinite transition graphs |c by Hans Hüttel |
| 246 | 1 | 3 | |a CST 86 91 |
| 246 | 1 | 3 | |a ECS LFCS 91 191 |
| 264 | 1 | |a Edinburgh |b Univ. of Edinburgh, Department of Computer Science |c 1991 | |
| 300 | |a 129 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 123 - 129. - Zugl.: Edinburg, Univ., Diss., 1991 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003434459 | ||
Datensatz im Suchindex
| _version_ | 1804119700334968832 |
|---|---|
| any_adam_object | |
| author | Hüttel, Hans |
| author_GND | (DE-588)125975260 |
| author_facet | Hüttel, Hans |
| author_role | aut |
| author_sort | Hüttel, Hans |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV005485712 |
| classification_tum | MAT 055d DAT 540d |
| ctrlnum | (OCoLC)630491948 (DE-599)BVBBV005485712 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01076nam a2200337 c 4500</leader><controlfield tag="001">BV005485712</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920820s1991 d||| m||| 00||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630491948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485712</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 055d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CST 86 91</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ECS LFCS 91 191</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hüttel, Hans</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)125975260</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decidability, behavioural equivalences and infinite transition graphs</subfield><subfield code="c">by Hans Hüttel</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CST 86 91</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 91 191</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="b">Univ. of Edinburgh, Department of Computer Science</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">129 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 123 - 129. - Zugl.: Edinburg, Univ., Diss., 1991</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003434459</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005485712 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:30:21Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434459 |
| oclc_num | 630491948 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 129 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Univ. of Edinburgh, Department of Computer Science |
| record_format | marc |
| spelling | Hüttel, Hans Verfasser (DE-588)125975260 aut Decidability, behavioural equivalences and infinite transition graphs by Hans Hüttel CST 86 91 ECS LFCS 91 191 Edinburgh Univ. of Edinburgh, Department of Computer Science 1991 129 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 123 - 129. - Zugl.: Edinburg, Univ., Diss., 1991 (DE-588)4113937-9 Hochschulschrift gnd-content |
| spellingShingle | Hüttel, Hans Decidability, behavioural equivalences and infinite transition graphs |
| subject_GND | (DE-588)4113937-9 |
| title | Decidability, behavioural equivalences and infinite transition graphs |
| title_alt | CST 86 91 ECS LFCS 91 191 |
| title_auth | Decidability, behavioural equivalences and infinite transition graphs |
| title_exact_search | Decidability, behavioural equivalences and infinite transition graphs |
| title_full | Decidability, behavioural equivalences and infinite transition graphs by Hans Hüttel |
| title_fullStr | Decidability, behavioural equivalences and infinite transition graphs by Hans Hüttel |
| title_full_unstemmed | Decidability, behavioural equivalences and infinite transition graphs by Hans Hüttel |
| title_short | Decidability, behavioural equivalences and infinite transition graphs |
| title_sort | decidability behavioural equivalences and infinite transition graphs |
| topic_facet | Hochschulschrift |
| work_keys_str_mv | AT huttelhans decidabilitybehaviouralequivalencesandinfinitetransitiongraphs AT huttelhans cst8691 AT huttelhans ecslfcs91191 |