Verfügbarkeit: Types for proofs and programs

Types for proofs and programs: International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2003
Schriftenreihe:	Lecture notes in computer science 2646
Schlagworte:	Beweistheorie Reduktionssystem Typentheorie Programmierung Typsystem Konferenzschrift > 2002 > Berg-en-Dal
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	1 Online-Ressource (VIII, 330 S.)
ISBN:	354014031X 3540391851
DOI:	10.1007/3-540-39185-1

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV035119209
003	DE-604
007	cr\|uuu---uuuuu
008	081024s2003 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 354014031X \|9 3-540-14031-X
020			\|a 3540391851 \|c Online \|9 3-540-39185-1
024	7		\|a 10.1007/3-540-39185-1 \|2 doi
035			\|a (OCoLC)699822928
035			\|a (DE-599)BVBBV035119209
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 373f \|2 stub
245	1	0	\|a Types for proofs and programs \|b International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers \|c Herman Geuvers ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2003
300			\|a 1 Online-Ressource (VIII, 330 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2646
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typentheorie \|0 (DE-588)4121795-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typsystem \|0 (DE-588)4625224-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2002 \|z Berg-en-Dal \|2 gnd-content
689	0	0	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Typsystem \|0 (DE-588)4625224-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	2	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	2		\|5 DE-604
689	3	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	3	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	3		\|5 DE-604
689	4	0	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|D s
689	4	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	4		\|5 DE-604
700	1		\|a Geuvers, Herman \|e Sonstige \|4 oth
711	2		\|a International Workshop TYPES \|d 2002 \|c Berg en Dal \|j Sonstige \|0 (DE-588)16140101-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2646 \|w (DE-604)BV014880109 \|9 2646
856	4	0	\|u https://doi.org/10.1007/3-540-39185-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016786907
966	e		\|u https://doi.org/10.1007/3-540-39185-1 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-39185-1 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-39185-1 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-39185-1 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875079479721984
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV035119209
classification_rvk	SS 4800
classification_tum	DAT 373f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699822928 (DE-599)BVBBV035119209
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-39185-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV035119209</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081024s2003 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354014031X</subfield><subfield code="9">3-540-14031-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540391851</subfield><subfield code="c">Online</subfield><subfield code="9">3-540-39185-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-39185-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699822928</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035119209</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 373f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Types for proofs and programs</subfield><subfield code="b">International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers</subfield><subfield code="c">Herman Geuvers ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 330 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">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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2646</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</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">2002</subfield><subfield code="z">Berg-en-Dal</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="689" ind1="1" ind2="0"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Geuvers, Herman</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop TYPES</subfield><subfield code="d">2002</subfield><subfield code="c">Berg en Dal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16140101-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2646</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2646</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-39185-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016786907</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-39185-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-39185-1</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-39185-1</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-39185-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2002 Berg-en-Dal gnd-content
genre_facet	Konferenzschrift 2002 Berg-en-Dal
id	DE-604.BV035119209
illustrated	Not Illustrated
index_date	2024-07-02T22:20:44Z
indexdate	2025-01-10T15:09:56Z
institution	BVB
institution_GND	(DE-588)16140101-6
isbn	354014031X 3540391851
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016786907
oclc_num	699822928
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (VIII, 330 S.)
psigel	ZDB-2-LNC
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers Herman Geuvers ... (eds.) Berlin [u.a.] Springer 2003 1 Online-Ressource (VIII, 330 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2646 Beweistheorie (DE-588)4145177-6 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Berg-en-Dal gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Typsystem (DE-588)4625224-1 s Beweistheorie (DE-588)4145177-6 s Programmierung (DE-588)4076370-5 s Reduktionssystem (DE-588)4194895-6 s Geuvers, Herman Sonstige oth International Workshop TYPES 2002 Berg en Dal Sonstige (DE-588)16140101-6 oth Lecture notes in computer science 2646 (DE-604)BV014880109 2646 https://doi.org/10.1007/3-540-39185-1 Verlag Volltext
spellingShingle	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers Lecture notes in computer science Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Programmierung (DE-588)4076370-5 gnd Typsystem (DE-588)4625224-1 gnd
subject_GND	(DE-588)4145177-6 (DE-588)4194895-6 (DE-588)4121795-0 (DE-588)4076370-5 (DE-588)4625224-1 (DE-588)1071861417
title	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
title_auth	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
title_exact_search	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
title_exact_search_txtP	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
title_full	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers Herman Geuvers ... (eds.)
title_fullStr	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers Herman Geuvers ... (eds.)
title_full_unstemmed	Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers Herman Geuvers ... (eds.)
title_short	Types for proofs and programs
title_sort	types for proofs and programs international workshop types 2002 berg en dal the netherlands april 24 28 2002 selected papers
title_sub	International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
topic	Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Programmierung (DE-588)4076370-5 gnd Typsystem (DE-588)4625224-1 gnd
topic_facet	Beweistheorie Reduktionssystem Typentheorie Programmierung Typsystem Konferenzschrift 2002 Berg-en-Dal
url	https://doi.org/10.1007/3-540-39185-1
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT geuversherman typesforproofsandprogramsinternationalworkshoptypes2002bergendalthenetherlandsapril24282002selectedpapers AT internationalworkshoptypesbergendal typesforproofsandprogramsinternationalworkshoptypes2002bergendalthenetherlandsapril24282002selectedpapers

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