Availability: Programs, proofs, processes | Technische Universität München

Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

Saved in:

Bibliographic Details
Other Authors:	Ferreira, Fernando (Editor)
Format:	Conference Proceedings Book
Language:	English
Published:	Berlin [u.a.] Springer 2010
Series:	Lecture notes in computer science 6158
Subjects:	Theoretische Informatik Mathematische Logik Berechenbarkeit Beweistheorie Prozessalgebra Berechnungskomplexität Konferenzschrift > 2010 > Ponta Delgada
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Item Description:	Literaturangaben
Physical Description:	XVI, 450 S. graph. Darst. 24 cm
ISBN:	9783642139611

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV036568007
003	DE-604
005	20100921
007	t\|
008	100715s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N21 \|2 dnb
016	7		\|a 1002680492 \|2 DE-101
020			\|a 9783642139611 \|c kart. : EUR 66.34 (freier Pr.), ca. sfr 96.50 (freier Pr.) \|9 978-3-642-13961-1
024	3		\|a 9783642139611
028	5	2	\|a 80016605
035			\|a (OCoLC)699761523
035			\|a (DE-599)DNB1002680492
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-706 \|a DE-83 \|a DE-11
082	0		\|a 004.0151 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 542f \|2 stub
084			\|a DAT 517f \|2 stub
245	1	0	\|a Programs, proofs, processes \|b 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings \|c Fernando Ferreira ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a XVI, 450 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6158
500			\|a Literaturangaben
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Ponta Delgada \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	0	2	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	0	3	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0	4	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|D s
689	0	5	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
700	1		\|a Ferreira, Fernando \|4 edt
711	2		\|a Conference on Computability in Europe \|n 6 \|d 2010 \|c Ponta Delgada \|j Sonstige \|0 (DE-588)16071335-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6158 \|w (DE-604)BV000000607 \|9 6158
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020489178

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-6158
DE-BY-TUM_katkey	1737404
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010234465
_version_	1821934940752707584
adam_text	TABLE OF CONTENTS AVOIDING SIMPLICITY IS COMPLEX 1 ERIC ALLENDER HIGHER-ORDER CONTAINERS 11 THORSTEN ALTENKIRCH, PAUL LEVY, AND SAM STATON ON THE COMPLETENESS OF QUANTUM COMPUTATION MODELS 21 PABLO ARRIGHI AND GILLES DOWEK THE ORDINAL OF SKOLEM + TETRATION IS R 0 31 MATHIAS BARRA AND PHILIPP GERHARDY PROOFS, PROGRAMS, PROCESSES 39 ULRICH BERGER AND MONIKA SEISENBERGER ERGODIC-TYPE CHARACTERIZATIONS OF ALGORITHMIC RANDOMNESS 49 LAURENT BIENVENU, ADAM DAY, ILYA MEZHIROV, AND ALEXANDER SHEN HOW POWERFUL ARE INTEGER-VALUED MARTINGALES? 59 LAURENT BIENVENU, FRANK STEPHAN, AND JASON TEUTSCH A FASTER ALGORITHM FOR FINDING MINIMUM TUCKER SUBMATRICES 69 GUILLAUME BLIN, ROMEO RIZZI, AND STEPHANE VIALETTE PROCESSES IN SPACE 78 LUCA CARDELLI AND PHILIPPA GARDNER COMPUTABILITY OF COUNTABLE SUBSHIFTS 88 DOUGLAS CENZER, ALI DASHTI, FERIT TOSKA, AND SEBASTIAN WYMAN THE LIMITS OF TRACTABILITY IN RESOLUTION-BASED PROPOSITIONAL PROOF SYSTEMS 98 STEFAN DANTCHEV AND BARNABY MARTIN HASKELL BEFORE HASKELL: CURRY'S CONTRIBUTION TO PROGRAMMING (1946-1950) 108 LIESBETH DE MOL, MAARTEN BULLYNCK, AND MARTIN CARLE A MINIATURISATION OF RAMSEY'S THEOREM 118 MICHIEL BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002680492 DIGITALISIERT DURCH XIV TABLE OF CONTENTS ON THE COMPLEXITY OF LOCAL SEARCH FOR WEIGHTED STANDARD SET PROBLEMS 132 DOMINIC DUMRAUF AND TIM SUESS COMPUTATIONAL INTERPRETATIONS OF ANALYSIS VIA PRODUCTS OF SELECTION FUNCTIONS 141 MARTIN ESCARDO AND PAULO OLIVA THE PEIRCE TRANSLATION AND THE DOUBLE NEGATION SHIFT 151 MARTIN ESCARDO AND PAULO OLIVA COUNTING THE CHANGES OF RANDOM A SETS 162 SANTIAGO FIGUEIRA, DENIS HIRSCHFELDT, JOSEPH S. MILLER, KENG MENG NG, AND ANDRE NIES BOOLE: FROM CALCULATING NUMBERS TO CALCULATING THOUGHTS 172 MICHELE FRIEND APPROXIMABILITY AND HARDNESS IN MULTI-OBJECTIVE OPTIMIZATION 180 CHRISTIAN GLASSER, CHRISTIAN REITWIESSNER, HEINZ SCHMITZ, AND MAXIMILIAN WITEK V W IS NOT A HEYTING ALGEBRA 190 KOJIRO HIGUCHI LOWER BOUNDS FOR REDUCIBILITY TO THE KOLMOGOROV RANDOM STRINGS 195 JOHN M. HITCHCOCK SPATIAL MODELS FOR VIRTUAL NETWORKS 201 JEANNETTE JANSSEN DNA REARRANGEMENTS THROUGH SPATIAL GRAPHS 211 NATASA JONOSKA AND MASAHICO SAITO ON INDEX SETS OF SOME PROPERTIES OF COMPUTABLE ALGEBRAS 219 BAKHADYR KHOUSSAINOV AND ANDREY MOROZOV THE STRENGTH OF THE BESICOVITCH-DAVIES THEOREM 229 BJOERN TABLE OF CONTENTS XV DEGREES WITH ALMOST UNIVERSAL CUPPING PROPERTY 266 JIANG LIU AND GUOHUA WU INCOMPUTABILITY IN PHYSICS 276 GIUSEPPE LONGO APPROXIMATE SELF-ASSEMBLY OF THE SIERPINSKI TRIANGLE 286 JACK H. LUTZ AND BRAD SHUTTERS HAIRPIN LENGTHENING 296 FLORIN MANEA, CARLOS MARTIN-VIDE, AND VICTOR MITRANA INFINITIES IN QUANTUM FIELD THEORY AND IN CLASSICAL COMPUTING: RENORMALIZATION PROGRAM 307 YURI I. MANIN COMPUTATIONAL COMPLEXITY ASPECTS IN MEMBRANE COMPUTING 317 GIANCARLO MAURI, ALBERTO LEPORATI, ANTONIO E. PORRECA, AND CLAUDIO ZANDRON COMPUTABLE ORDERED ABELIAN GROUPS AND FIELDS 321 ALEXANDER G. MELNIKOV FOCUSING IN ASYNCHRONOUS GAMES 331 SAMUEL MIMRAM A NOTE ON THE LEAST INFORMATIVE MODEL OF A THEORY 342 JEFF B. PARIS AND SOROUSH R. RAD THREE ROOTS FOR LEIBNIZ'S CONTRIBUTION TO THE COMPUTATIONAL CONCEPTION OF REASON 352 OLGA POMBO DEVELOPMENT OF A BACTERIA COMPUTER: FROM IN SILICO FINITE AUTOMATA TO IN VITRO AND IN VIVO 362 YASUBUMI SAKAKIBARA THE COMPLEXITY OF EXPLICIT CONSTRUCTIONS 372 RAHUL SANTHANAM KOLMOGORO XVI TABLE OF CONTENTS QUASI-LINEAR DIALECTICA EXTRACTION 417 TRIFON TRIFONOV COMPUTING WITH CONCEPTS, COMPUTING WITH NUMBERS: LLULL, LEIBNIZ, AND BOOLE 427 SARA L. UCKELMAN INFERENCE CONCERNING PHYSICAL SYSTEMS 438 DAVID H. WOLPERT AUTHOR INDEX 449
any_adam_object	1
author2	Ferreira, Fernando
author2_role	edt
author2_variant	f f ff
author_facet	Ferreira, Fernando
building	Verbundindex
bvnumber	BV036568007
classification_rvk	SS 4800
classification_tum	DAT 542f DAT 517f
ctrlnum	(OCoLC)699761523 (DE-599)DNB1002680492
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036568007</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100921</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100715s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002680492</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642139611</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), ca. sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13961-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642139611</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699761523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002680492</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</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 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programs, proofs, processes</subfield><subfield code="b">6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings</subfield><subfield code="c">Fernando Ferreira ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 450 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">6158</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-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">2010</subfield><subfield code="z">Ponta Delgada</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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">Ferreira, Fernando</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Conference on Computability in Europe</subfield><subfield code="n">6</subfield><subfield code="d">2010</subfield><subfield code="c">Ponta Delgada</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071335-3</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">6158</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6158</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020489178</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Ponta Delgada gnd-content
genre_facet	Konferenzschrift 2010 Ponta Delgada
id	DE-604.BV036568007
illustrated	Illustrated
indexdate	2025-01-11T19:02:35Z
institution	BVB
institution_GND	(DE-588)16071335-3
isbn	9783642139611
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020489178
oclc_num	699761523
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
physical	XVI, 450 S. graph. Darst. 24 cm
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd Beweistheorie (DE-588)4145177-6 gnd Prozessalgebra (DE-588)4283920-8 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4138368-0 (DE-588)4145177-6 (DE-588)4283920-8 (DE-588)4134751-1 (DE-588)1071861417
title	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings
title_auth	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings
title_exact_search	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings
title_full	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.)
title_fullStr	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.)
title_full_unstemmed	Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.)
title_short	Programs, proofs, processes
title_sort	programs proofs processes 6th conference on computability in europe cie 2010 ponta delgada azores portugal june 30 july 4 2010 proceedings
title_sub	6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd Beweistheorie (DE-588)4145177-6 gnd Prozessalgebra (DE-588)4283920-8 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
topic_facet	Theoretische Informatik Mathematische Logik Berechenbarkeit Beweistheorie Prozessalgebra Berechnungskomplexität Konferenzschrift 2010 Ponta Delgada
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT ferreirafernando programsproofsprocesses6thconferenceoncomputabilityineuropecie2010pontadelgadaazoresportugaljune30july42010proceedings AT conferenceoncomputabilityineuropepontadelgada programsproofsprocesses6thconferenceoncomputabilityineuropecie2010pontadelgadaazoresportugaljune30july42010proceedings

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 001z 2001 A 999-6158 Floor plan
Copy 1	Available for loan On Shelf