Verfügbarkeit: Proceedings :: THWS Bibkatalog

Proceedings: Munich, May 29 - 31, 1997

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop Domains (3, 1997, München) (VerfasserIn)
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:	Bereichstheorie Konferenzschrift > 1997 > München
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge