Verfügbarkeit: Fundamentals of computation theory

Fundamentals of computation theory: 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Heidelberg [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6914
Schlagworte:	Theoretische Informatik Konferenzschrift > 2011 > Oslo
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	XIII, 371 S. graph. Darst.
ISBN:	9783642229527 3642229522

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039559334
003	DE-604
005	20111115
007	t\|
008	110901s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 1013327012 \|2 DE-101
020			\|a 9783642229527 \|9 978-3-642-22952-7
020			\|a 3642229522 \|9 3-642-22952-2
035			\|a (OCoLC)751015941
035			\|a (DE-599)DNB1013327012
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-11 \|a DE-706 \|a DE-83 \|a DE-91G
082	0		\|a 004.0151 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 500f \|2 stub
245	1	0	\|a Fundamentals of computation theory \|b 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings \|c Olaf Owe ... (ed.)
264		1	\|a Heidelberg [u.a.] \|b Springer \|c 2011
300			\|a XIII, 371 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6914
500			\|a Literaturangaben
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Oslo \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
700	1		\|a Owe, Olaf \|e Sonstige \|4 oth
711	2		\|a FCT \|n 18 \|d 2011 \|c Oslo \|j Sonstige \|0 (DE-588)16168300-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6914 \|w (DE-604)BV000000607 \|9 6914
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3850530&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=024411048&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024411048

Datensatz im Suchindex

_version_	1820875338944610304
adam_text	IMAGE 1 TABLE OF CONTENTS THE REWRITING LOGIC SEMANTICS PROJECT: A PROGRESS REPORT 1 JOSE MESEGUER AND GRIGORE ROSU IMPUGNING RANDOMNESS, CONVINCINGLY 38 YURI GUREVICH KERNELIZATION: AN OVERVIEW 39 DANIEL LOKSHTANOV ALMOST TRANSPARENT SHORT PROOFS FOR N PR 41 KLAUS MEER THE EFFECT OF HOMOGENEITY ON THE COMPLEXITY OF A;-ANONYMITY 53 ROBERT BREDERECK, ANDRE NICHTERLEIN, ROLF NIEDERMEIER, AND GEEVARGHESE PHILIP ON THE OPTIMAL COMPRESSION OF SETS IN PSPACE 65 MARIUS ZIMAND COMPUTATIONAL RANDOMNESS FROM GENERALIZED HARDCORE SETS 78 CHIA-JUNG LEE, CHI-JEN LU, AND SHI-CHUN TSAI DATA REDUCTION FOR GRAPH COLORING PROBLEMS 90 BART M.P. JANSEN AND STEFAN KRATSCH HUNTING DISTRIBUTED MALWARE WITH THE K-CALCULUS 102 MILA DALLA PREDA AND CINZIA DI GIUSTO EDGE-MATCHING PROBLEMS WITH ROTATIONS 114 MARTIN EBBESEN, PAUL FISCHER, AND CARSTEN WITT ON THE LINK BETWEEN STRONGLY CONNECTED ITERATION GRAPHS AND CHAOTIC BOOLEAN DISCRETE-TIME DYNAMICAL SYSTEMS 126 JACQUES M. BAHI, JEAN-FRANCOIS COUCHOT, CHRISTOPHE GUYEUX, AND ADRIEN RICHARD A NEW BOUND FOR 3-SATISFIABLE MAXSAT AND ITS ALGORITHMIC APPLICATION 138 GREGORY GUTIN, MARK JONES, AND ANDERS YEO ON MEMORYLESS QUANTITATIVE OBJECTIVES 148 KRISHNENDU CHATTERJEE, LAURENT DOYEN, AND ROHIT SINGH BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1013327012 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS PRINCIPAL TYPES FOR NOMINAL THEORIES 160 ELLIOT FAIR-WEATHER, MARIBEL FERNANDEZ, AND MURDOCH J. GABBAY MODIFYING THE UPPER BOUND ON THE LENGTH OF MINIMAL SYNCHRONIZING WORD 173 A.N. TRAHTMAN ONLINE MAXIMUM FC-COVERAGE 181 GIORGIO AUSIELLO, NICOLAS BORIA, ARISTOTELIS GIANNAKOS, GIORGIO LUCARELLI, AND VANGELIS TH. PASCHOS COLORING GRAPHS WITHOUT SHORT CYCLES AND LONG INDUCED PATHS 193 PETR A. GOLOVACH, DANIEL PAULUSMA, AND JIAN SONG SUCCINCT ALGEBRAIC BRANCHING PROGRAMS CHARACTERIZING NON-UNIFORM COMPLEXITY CLASSES 205 GUILLAUME MALOD LIFO-SEARCH ON DIGRAPHS: A SEARCHING GAME FOR CYCLE-RANK 217 PAUL HUNTER POLYNOMIAL KERNELS FOR PROPER INTERVAL COMPLETION AND RELATED PROBLEMS 229 STEPHANE BESSY AND ANTHONY PEREZ PARAMETERIZED COMPLEXITY OF VERTEX DELETION INTO PERFECT GRAPH CLASSES 240 PINAR HEGGERNES, PIRN VAN 'T HOF, BART M.P. JANSEN, STEFAN KRATSCH, AND YNGVE VILLANGER CONSTRUCTIVE DIMENSION AND HAUSDORFF DIMENSION: THE CASE OF EXACT DIMENSION 252 LUDWIG STAIGER DAG REALIZATIONS OF DIRECTED DEGREE SEQUENCES 264 ANNABELL BERGER AND MATTHIAS MUELLER-HANNEMANN A COINDUCTIVE CALCULUS FOR ASYNCHRONOUS SIDE-EFFECTING PROCESSES 276 SERGEY GONCHAROV AND LUTZ SCHROEDER HARDNESS, APPROXIMABILITY, AND EXACT ALGORITHMS FOR VECTOR DOMINATION AND TOTAL VECTOR DOMINATION IN GRAPHS 288 FERDINANDO CICALESE, MARTIN MILANIC, AND UGO VACCARO ENUMERATION OF MINIMAL DOMINATING SETS AND VARIANTS 298 MAMADOU MOUSTAPHA KANTE, VINCENT LIMOUZY, ARNAUD MARY, AND LHOUARI NOURINE SPECIFICATION PATTERNS AND PROOFS FOR RECURSION THROUGH THE STORE 310 NATHANIEL CHARLTON AND BERNHARD REUS IMAGE 3 TABLE OF CONTENTS XIII SUB-COMPUTABILITIES 322 FABIEN GIVORS AND GREGORY LAFITTE FUNCTIONS THAT PRESERVE P-RANDOMNESS 336 STEPHEN A. FENNER REACTIVE TURING MACHINES 348 JOS CM. BAETEN, BAS LUTTIK, AND PAUL VAN TILBURG VIRTUAL SUBSTITUTION FOR SMT-SOLVING 360 FLORIAN CORZILIUS AND ERIKA ABRAHAM AUTHOR INDEX 373
any_adam_object	1
building	Verbundindex
bvnumber	BV039559334
classification_rvk	SS 4800
classification_tum	DAT 500f
ctrlnum	(OCoLC)751015941 (DE-599)DNB1013327012
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">BV039559334</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110901s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1013327012</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642229527</subfield><subfield code="9">978-3-642-22952-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642229522</subfield><subfield code="9">3-642-22952-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)751015941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1013327012</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-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of computation theory</subfield><subfield code="b">18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings</subfield><subfield code="c">Olaf Owe ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 371 S.</subfield><subfield code="b">graph. Darst.</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">6914</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Oslo</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Owe, Olaf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FCT</subfield><subfield code="n">18</subfield><subfield code="d">2011</subfield><subfield code="c">Oslo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16168300-9</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">6914</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6914</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3850530&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=024411048&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-024411048</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Oslo gnd-content
genre_facet	Konferenzschrift 2011 Oslo
id	DE-604.BV039559334
illustrated	Illustrated
indexdate	2025-01-10T15:14:03Z
institution	BVB
institution_GND	(DE-588)16168300-9
isbn	9783642229527 3642229522
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024411048
oclc_num	751015941
open_access_boolean
owner	DE-11 DE-706 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-11 DE-706 DE-83 DE-91G DE-BY-TUM
physical	XIII, 371 S. graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings Olaf Owe ... (ed.) Heidelberg [u.a.] Springer 2011 XIII, 371 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6914 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Oslo gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Owe, Olaf Sonstige oth FCT 18 2011 Oslo Sonstige (DE-588)16168300-9 oth Lecture notes in computer science 6914 (DE-604)BV000000607 6914 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3850530&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024411048&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)1071861417
title	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings
title_auth	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings
title_exact_search	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings
title_full	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings Olaf Owe ... (ed.)
title_fullStr	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings Olaf Owe ... (ed.)
title_full_unstemmed	Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings Olaf Owe ... (ed.)
title_short	Fundamentals of computation theory
title_sort	fundamentals of computation theory 18th international symposium fct 2011 oslo norway august 22 28 2011 proceedings
title_sub	18th international symposium, FCT 2011, Oslo, Norway, August 22 - 28, 2011 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Konferenzschrift 2011 Oslo
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3850530&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=024411048&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT oweolaf fundamentalsofcomputationtheory18thinternationalsymposiumfct2011oslonorwayaugust22282011proceedings AT fctoslo fundamentalsofcomputationtheory18thinternationalsymposiumfct2011oslonorwayaugust22282011proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge