Verfügbarkeit: 18th International Workshop on Types for Proofs and Programs (TYPES 2011)

18th International Workshop on Types for Proofs and Programs (TYPES 2011): TYPES 2011, September 8–11, 2011, Bergen, Norway

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Workshop on Types for Proofs and Programs Bergen, Norwegen (VerfasserIn)
Weitere Verfasser:	Danielsson, Nils Anders (HerausgeberIn), Nordström, Bengt (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2013
Schriftenreihe:	LIPIcs - Leibniz International Proceedings in Informatics Volume 19
Schlagworte:	Typentheorie Konferenzschrift
Online-Zugang:	Volltext kostenfrei kostenfrei kostenfrei
Beschreibung:	1 Online-Ressource
ISBN:	9783939897491

Internformat

MARC


LEADER	00000nmm a22000001cb4500
001	BV043995960
003	DE-604
005	20170314
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	170112s2013 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 13,O02 \|2 dnb
016	7		\|a 1030027323 \|2 DE-101
020			\|a 9783939897491 \|c Online \|9 978-3-939897-49-1
024	7		\|a urn:nbn:de:0030-drops-39027 \|2 urn
035			\|a (OCoLC)863915647
035			\|a (DE-599)DNB1030027323
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91
082	0		\|a 004
084			\|a 004 \|2 sdnb
084			\|a DAT 510f \|2 stub
111	2		\|a International Workshop on Types for Proofs and Programs \|n 18. \|d 2011 \|c Bergen, Norwegen \|j Verfasser \|0 (DE-588)1123242496 \|4 aut
245	1	0	\|a 18th International Workshop on Types for Proofs and Programs (TYPES 2011) \|b TYPES 2011, September 8–11, 2011, Bergen, Norway \|c Edited by Nils Anders Danielsson, Bengt Nordström
246	1	3	\|a International Workshop on Types for Proofs and Programs
246	1	3	\|a Eighteenth International Workshop on Types for Proofs and Programs (TYPES 2011)
246	1	3	\|a International Workshop on Types for Proofs and Programs (TYPES 2011)
264		1	\|a Wadern \|b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH \|c 2013
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
340			\|a Online-Ressource
490	1		\|a LIPIcs - Leibniz International Proceedings in Informatics \|v Volume 19
650	0	7	\|a Typentheorie \|0 (DE-588)4121795-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	0		\|5 DE-604
700	1		\|a Danielsson, Nils Anders \|4 edt
700	1		\|a Nordström, Bengt \|4 edt
830		0	\|a LIPIcs - Leibniz International Proceedings in Informatics \|v Volume 19 \|w (DE-604)BV039164160 \|9 19
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:0030-drops-39027 \|x Resolving-System \|3 Volltext
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:0030-drops-39027 \|x Resolving-System \|z kostenfrei
856	4	0	\|u http://d-nb.info/1030027323/34 \|x Langzeitarchivierung Nationalbibliothek \|z kostenfrei
856	4	0	\|u http://www.dagstuhl.de/dagpub/978-3-939897-49-1 \|x Verlag \|z kostenfrei
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-029404036

Datensatz im Suchindex

_version_	1804176973650460672
any_adam_object
author2	Danielsson, Nils Anders Nordström, Bengt
author2_role	edt edt
author2_variant	n a d na nad b n bn
author_corporate	International Workshop on Types for Proofs and Programs Bergen, Norwegen
author_corporate_role	aut
author_facet	Danielsson, Nils Anders Nordström, Bengt International Workshop on Types for Proofs and Programs Bergen, Norwegen
author_sort	International Workshop on Types for Proofs and Programs Bergen, Norwegen
building	Verbundindex
bvnumber	BV043995960
classification_tum	DAT 510f
collection	ebook
ctrlnum	(OCoLC)863915647 (DE-599)DNB1030027323
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02369nmm a22005411cb4500</leader><controlfield tag="001">BV043995960</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170314 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170112s2013 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O02</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1030027323</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897491</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-49-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-39027</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863915647</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1030027323</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Types for Proofs and Programs</subfield><subfield code="n">18.</subfield><subfield code="d">2011</subfield><subfield code="c">Bergen, Norwegen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123242496</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">18th International Workshop on Types for Proofs and Programs (TYPES 2011)</subfield><subfield code="b">TYPES 2011, September 8–11, 2011, Bergen, Norway</subfield><subfield code="c">Edited by Nils Anders Danielsson, Bengt Nordström</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Workshop on Types for Proofs and Programs</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Eighteenth International Workshop on Types for Proofs and Programs (TYPES 2011)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Workshop on Types for Proofs and Programs (TYPES 2011)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="340" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 19</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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">Danielsson, Nils Anders</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nordström, Bengt</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 19</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">19</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-39027</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-39027</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1030027323/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-49-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029404036</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043995960
illustrated	Not Illustrated
indexdate	2024-07-10T07:40:41Z
institution	BVB
institution_GND	(DE-588)1123242496
isbn	9783939897491
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029404036
oclc_num	863915647
open_access_boolean	1
owner	DE-91 DE-BY-TUM
owner_facet	DE-91 DE-BY-TUM
physical	1 Online-Ressource
psigel	ebook
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
record_format	marc
series	LIPIcs - Leibniz International Proceedings in Informatics
series2	LIPIcs - Leibniz International Proceedings in Informatics
spelling	International Workshop on Types for Proofs and Programs 18. 2011 Bergen, Norwegen Verfasser (DE-588)1123242496 aut 18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway Edited by Nils Anders Danielsson, Bengt Nordström International Workshop on Types for Proofs and Programs Eighteenth International Workshop on Types for Proofs and Programs (TYPES 2011) International Workshop on Types for Proofs and Programs (TYPES 2011) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2013 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 19 Typentheorie (DE-588)4121795-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Danielsson, Nils Anders edt Nordström, Bengt edt LIPIcs - Leibniz International Proceedings in Informatics Volume 19 (DE-604)BV039164160 19 https://nbn-resolving.org/urn:nbn:de:0030-drops-39027 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-39027 Resolving-System kostenfrei http://d-nb.info/1030027323/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-49-1 Verlag kostenfrei
spellingShingle	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway LIPIcs - Leibniz International Proceedings in Informatics Typentheorie (DE-588)4121795-0 gnd
subject_GND	(DE-588)4121795-0 (DE-588)1071861417
title	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway
title_alt	International Workshop on Types for Proofs and Programs Eighteenth International Workshop on Types for Proofs and Programs (TYPES 2011) International Workshop on Types for Proofs and Programs (TYPES 2011)
title_auth	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway
title_exact_search	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway
title_full	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway Edited by Nils Anders Danielsson, Bengt Nordström
title_fullStr	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway Edited by Nils Anders Danielsson, Bengt Nordström
title_full_unstemmed	18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway Edited by Nils Anders Danielsson, Bengt Nordström
title_short	18th International Workshop on Types for Proofs and Programs (TYPES 2011)
title_sort	18th international workshop on types for proofs and programs types 2011 types 2011 september 8 11 2011 bergen norway
title_sub	TYPES 2011, September 8–11, 2011, Bergen, Norway
topic	Typentheorie (DE-588)4121795-0 gnd
topic_facet	Typentheorie Konferenzschrift
url	https://nbn-resolving.org/urn:nbn:de:0030-drops-39027 http://d-nb.info/1030027323/34 http://www.dagstuhl.de/dagpub/978-3-939897-49-1
volume_link	(DE-604)BV039164160
work_keys_str_mv	AT internationalworkshopontypesforproofsandprogramsbergennorwegen 18thinternationalworkshopontypesforproofsandprogramstypes2011types2011september8112011bergennorway AT danielssonnilsanders 18thinternationalworkshopontypesforproofsandprogramstypes2011types2011september8112011bergennorway AT nordstrombengt 18thinternationalworkshopontypesforproofsandprogramstypes2011types2011september8112011bergennorway AT internationalworkshopontypesforproofsandprogramsbergennorwegen internationalworkshopontypesforproofsandprograms AT danielssonnilsanders internationalworkshopontypesforproofsandprograms AT nordstrombengt internationalworkshopontypesforproofsandprograms AT internationalworkshopontypesforproofsandprogramsbergennorwegen eighteenthinternationalworkshopontypesforproofsandprogramstypes2011 AT danielssonnilsanders eighteenthinternationalworkshopontypesforproofsandprogramstypes2011 AT nordstrombengt eighteenthinternationalworkshopontypesforproofsandprogramstypes2011 AT internationalworkshopontypesforproofsandprogramsbergennorwegen internationalworkshopontypesforproofsandprogramstypes2011 AT danielssonnilsanders internationalworkshopontypesforproofsandprogramstypes2011 AT nordstrombengt internationalworkshopontypesforproofsandprogramstypes2011

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge