Proceedings: Munich, May 29 - 31, 1997
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
München
Inst. für Informatik, Univ.
1997
|
| Schriftenreihe: | Institut für Informatik <München, Universität>: Bericht
9712 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 152 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012507306 | ||
| 003 | DE-604 | ||
| 005 | 19990415 | ||
| 007 | t | ||
| 008 | 990414s1997 |||| 10||| und d | ||
| 035 | |a (OCoLC)166101352 | ||
| 035 | |a (DE-599)BVBBV012507306 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91 |a DE-12 | ||
| 084 | |a DAT 500f |2 stub | ||
| 110 | 2 | |a Workshop Domains (3, 1997, München) |e Verfasser |0 (DE-588)16137567-4 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b Munich, May 29 - 31, 1997 |c Workshop Domains III ; ed. by Ulrich Berger ... |
| 264 | 1 | |a München |b Inst. für Informatik, Univ. |c 1997 | |
| 300 | |a X, 152 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Informatik <München, Universität>: Bericht |v 9712 | |
| 650 | 0 | 7 | |a Bereichstheorie |0 (DE-588)4382803-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z München |2 gnd-content | |
| 689 | 0 | 0 | |a Bereichstheorie |0 (DE-588)4382803-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Berger, Ulrich |e Sonstige |4 oth | |
| 830 | 0 | |a Institut für Informatik <München, Universität>: Bericht |v 9712 |w (DE-604)BV009661873 |9 9712 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008489376&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008489376 | ||
Datensatz im Suchindex
| _version_ | 1804127150633123840 |
|---|---|
| adam_text | Contents
Preface ii
Workshop Domains
III
- Programme
Ui
Lisi
of Participants
vi
Mechanizing Domain Theory
Prank
Bartels, Holger Pfeifer, Friedrich von Henke and Harald Rueß 1
Characterising
FS Domains
by Means of
Power Domains
Reinhold
Heckmann ..........................21
Lifting Grothendieck Universes
Martin Hofmann and Thomas Streicher................33
Strategies and String Operations
Jürgen Kosiowski............................37
Temporal Operators
on Partial
Orders
Bernhard Möller ............................49
Subrecursive
Functions on Partial Sequences
Karl-Heinz Niggl............................59
On the Nonexistence of Wree Continuous Algebras
Victor J.
Pollara............................85
General Synthetic Domain Theory
-
A Logical Approach
Bernhard
Reus
and Thomas
Streicher.................93
A Categorical Completeness Theorem for Program Verfication
Werner
Struckmann ..........................113
Some Results on Hahn-Banach Type Theorems for Continuous
D-Cones
Regina
Tix
...............................119
Abstracts
139
|
| any_adam_object | 1 |
| author_corporate | Workshop Domains (3, 1997, München) |
| author_corporate_role | aut |
| author_facet | Workshop Domains (3, 1997, München) |
| author_sort | Workshop Domains (3, 1997, München) |
| building | Verbundindex |
| bvnumber | BV012507306 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)166101352 (DE-599)BVBBV012507306 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01491nam a2200349 cb4500</leader><controlfield tag="001">BV012507306</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990415 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990414s1997 |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)166101352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012507306</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-91</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Workshop Domains (3, 1997, München)</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)16137567-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">Munich, May 29 - 31, 1997</subfield><subfield code="c">Workshop Domains III ; ed. by Ulrich Berger ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Inst. für Informatik, Univ.</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 152 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="490" ind1="1" ind2=" "><subfield code="a">Institut für Informatik <München, Universität>: Bericht</subfield><subfield code="v">9712</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bereichstheorie</subfield><subfield code="0">(DE-588)4382803-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">1997</subfield><subfield code="z">München</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Bereichstheorie</subfield><subfield code="0">(DE-588)4382803-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">Berger, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Informatik <München, Universität>: Bericht</subfield><subfield code="v">9712</subfield><subfield code="w">(DE-604)BV009661873</subfield><subfield code="9">9712</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008489376&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008489376</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 München gnd-content |
| genre_facet | Konferenzschrift 1997 München |
| id | DE-604.BV012507306 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:28:47Z |
| institution | BVB |
| institution_GND | (DE-588)16137567-4 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008489376 |
| oclc_num | 166101352 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-12 |
| physical | X, 152 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Inst. für Informatik, Univ. |
| record_format | marc |
| series | Institut für Informatik <München, Universität>: Bericht |
| series2 | Institut für Informatik <München, Universität>: Bericht |
| spelling | Workshop Domains (3, 1997, München) Verfasser (DE-588)16137567-4 aut Proceedings Munich, May 29 - 31, 1997 Workshop Domains III ; ed. by Ulrich Berger ... München Inst. für Informatik, Univ. 1997 X, 152 S. txt rdacontent n rdamedia nc rdacarrier Institut für Informatik <München, Universität>: Bericht 9712 Bereichstheorie (DE-588)4382803-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 München gnd-content Bereichstheorie (DE-588)4382803-6 s DE-604 Berger, Ulrich Sonstige oth Institut für Informatik <München, Universität>: Bericht 9712 (DE-604)BV009661873 9712 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008489376&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings Munich, May 29 - 31, 1997 Institut für Informatik <München, Universität>: Bericht Bereichstheorie (DE-588)4382803-6 gnd |
| subject_GND | (DE-588)4382803-6 (DE-588)1071861417 |
| title | Proceedings Munich, May 29 - 31, 1997 |
| title_auth | Proceedings Munich, May 29 - 31, 1997 |
| title_exact_search | Proceedings Munich, May 29 - 31, 1997 |
| title_full | Proceedings Munich, May 29 - 31, 1997 Workshop Domains III ; ed. by Ulrich Berger ... |
| title_fullStr | Proceedings Munich, May 29 - 31, 1997 Workshop Domains III ; ed. by Ulrich Berger ... |
| title_full_unstemmed | Proceedings Munich, May 29 - 31, 1997 Workshop Domains III ; ed. by Ulrich Berger ... |
| title_short | Proceedings |
| title_sort | proceedings munich may 29 31 1997 |
| title_sub | Munich, May 29 - 31, 1997 |
| topic | Bereichstheorie (DE-588)4382803-6 gnd |
| topic_facet | Bereichstheorie Konferenzschrift 1997 München |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008489376&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009661873 |
| work_keys_str_mv | AT workshopdomains31997munchen proceedingsmunichmay29311997 AT bergerulrich proceedingsmunichmay29311997 |