STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2285 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 660 S. |
| ISBN: | 3540432833 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014150788 | ||
| 003 | DE-604 | ||
| 005 | 20020910 | ||
| 007 | t| | ||
| 008 | 020211s2002 gw |||| 10||| eng d | ||
| 016 | 7 | |a 963685201 |2 DE-101 | |
| 020 | |a 3540432833 |9 3-540-43283-3 | ||
| 035 | |a (OCoLC)472923711 | ||
| 035 | |a (DE-599)BVBBV014150788 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-824 |a DE-20 |a DE-29T |a DE-706 |a DE-634 |a DE-188 |a DE-83 | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a STACS |n 19 |d 2002 |c Antibes; Juan-les-Pins |j Verfasser |0 (DE-588)10033228-6 |4 aut | |
| 245 | 1 | 0 | |a STACS 2002 |b 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings |c Helmut Alt ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a XIV, 660 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2285 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer science - Congresses | |
| 650 | 4 | |a Informatik | |
| 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 2002 |z Antibes |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Alt, Helmut |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2285 |w (DE-604)BV000000607 |9 2285 | |
| 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=009698300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009698300 | |
Datensatz im Suchindex
| _version_ | 1820874910282547200 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
HYPER-ENCRYPTION
AND
EVERLASTING
SECURITY
1
Y.Z.
DING
AND
M.O.
RABIN
MODELS
AND
TECHNIQUES
FOR
COMMUNICATION
IN
DYNAMIC
NETWORKS
27
C.
SCHEIDELER
WHAT
IS
A
THEORY?
50
G.
DOWEK
ALGORITHMS
A
SPACE
LOWER
BOUND
FOR
ROUTING
IN
TREES
65
P.
FRAIGNIAUD
AND
C.
GAVOILLE
LABELING
SCHEMES
FOR
DYNAMIC
TREE
NETWORKS
76
A.
KORMAN,
D.
PELEG,
AND
Y.
RODEH
TIGHT
BOUNDS
FOR
THE
PERFORMANCE
OF
LONGEST-IN-SYSTEM
ON
DAGS
88
M.
ADLER
AND
A.
ROSEN
APPROXIMATE
STRONG
SEPARATION
WITH
APPLICATION
IN
FRACTIONAL
100
GRAPH
COLORING
AND
PREEMPTIVE
SCHEDULING
K.
JANSEN
BALANCED
COLORING:
EQUALLY
EASY
FOR
ALL
NUMBERS
OF
COLORS?
112
B.
DOERR
THE
COMPLEXITY
OF
GRAPH
ISOMORPHISM
FOR
COLORED
GRAPHS
WITH
121
COLOR
CLASSES
OF
SIZE
2
AND
3
J.
KOBLER
AND
J.
TORAN
ON
THE
COMPLEXITY
OF
GENERATING
MAXIMAL
FREQUENT
AND
MINIMAL
133
INFREQUENT
SETS
E.
BOROS,
V.
GURVICH,
L.
KHACHIYAN,
AND
K.
MAKINO
ON
DUALIZATION
IN
PRODUCTS
OF
FORESTS
142
K.M.
ELBASSIONI
AN
ASYMPTOTIC
O(LNP/IN
IN
^-APPROXIMATION
ALGORITHM
FOR
THE
154
SCHEDULING
PROBLEM
WITH
DUPLICATION
ON
LARGE
COMMUNICATION
DELAY
GRAPHS
R.
LEPERE
AND
C.
RAPINE
XII
TABLE
OF
CONTENTS
SCHEDULING
AT
TWILIGHT
THE
EASY
WAY
166
H.
BAST
COMPLEXITY
OF
MULTI-DIMENSIONAL
LOOP
ALIGNMENT
179
A.
DARTE
AND
G.
HUARD
A
PROBABILISTIC
3-SAT
ALGORITHM
FURTHER
IMPROVED
192
T.
HOFMEISTER,
U.
SCHONING,
R.
SCHULER,
AND
O.
WATANABE
THE
SECRET
OF
SELECTIVE
GAME
TREE
SEARCH,
WHEN
USING
203
RANDOM-ERROR
EVALUATIONS
U.
LORENZ
AND
B.
MONIEN
RANDOMIZED
ACCELERATION
OF
FUNDAMENTAL
MATRIX
COMPUTATIONS
215
V.
Y.
PAN
APPROXIMATIONS
FOR
ATSP
WITH
PARAMETRIZED
TRIANGLE
INEQUALITY
227
L.
SUNIL
CHANDRAN
AND
L.
SHANKAR
RAM
A
NEW
DIAGRAM
FROM
DISKS
IN
THE
PLANE
238
J.
GIESEN
AND
M.
JOHN
COMPUTING
THE
MAXIMUM
DETOUR
AND
SPANNING
RATIO
OF
PLANAR
250
PATHS,
TREES,
AND
CYCLES
S.
LANGERMAN,
P.
MORIN,
AND
M.
SOSS
CURRENT
CHALLENGES
ON
THE
PARAMETERIZED
INTRACTABILITY
OF
C
LOSEST
S
UBSTRING
AND
262
RELATED
PROBLEMS
M.R.
FELLOWS,
J.
GRAMM,
AND
R.
NIEDERMEIER
ON
THE
COMPLEXITY
OF
PROTEIN
SIMILARITY
SEARCH
UNDER
MRNA
274
STRUCTURE
CONSTRAINTS
R.
BACKOFEN,
N.S.
NARAYANASWAMY,
AND
F.
SWIDAN
PURE
DOMINANCE
CONSTRAINTS
287
M.
BODIRSKY
AND
M.
KUTZ
IMPROVED
QUANTUM
COMMUNICATION
COMPLEXITY
BOUNDS
299
FOR
DISJOINTNESS
AND
EQUALITY
P.
H&YER
AND
R.
DE
WOLF
ON
QUANTUM
COMPUTATION
WITH
SOME
RESTRICTED
AMPLITUDES
311
H.
NISHIMURA
A
QUANTUM
GOLDREICH-LEVIN
THEOREM
WITH
CRYPTOGRAPHIC
323
APPLICATIONS
M.
ADCOCK
AND
R.
CLEVE
TABLE
OF
CONTENTS
XIII
ON
QUANTUM
AND
APPROXIMATE
PRIVACY
335
H.
KLAUCK
ON
QUANTUM
VERSIONS
OF
THE
YAO
PRINCIPLE
347
M.
DE
GRAAF
AND
R.
DE
WOLF
COMPUTATIONAL
AND
STRUCTURAL
COMPLEXITY
DESCRIBING
PARAMETERIZED
COMPLEXITY
CLASSES
359
J.
FLUM
AND
M.
GROHE
ON
THE
COMPUTATIONAL
POWER
OF
BOOLEAN
DECISION
LISTS
372
M.
KRAUSE
HOW
MANY
MISSING
ANSWERS
CAN
BE
TOLERATED
BY
QUERY
LEARNERS?
384
H.
U.
SIMON
GAMES
WITH
A
UNIQUENESS
PROPERTY
396
S.
AIDA,
M.
CRASMARU,
K.
REGAN,
AND
0.
WATANABE
BI-IMMUNITY
SEPARATES
STRONG
NP-COMPLETENESS
NOTIONS
408
A.
PAVAN
AND
A.L.
SELMAN
COMPLEXITY
OF
SEMI-ALGEBRAIC
PROOFS
419
D.
GRIGORIEV,
E.A.
HIRSCH,
AND
D.V.
PASECHNIK
A
LOWER
BOUND
TECHNIQUE
FOR
RESTRICTED
BRANCHING
PROGRAMS
AND
431
APPLICATIONS
P.
WOELFEL
THE
COMPLEXITY
OF
CONSTRAINTS
ON
INTERVALS
AND
LENGTHS
443
A.
KROKHIN,
P.
JEAVONS,
AND
P.
JONSSON
AUTOMATA
AND
FORMAL
LANGUAGES
NESTING
UNTIL
AND
SINCE
IN
LINEAR
TEMPORAL
LOGIC
455
D.
THERIEN
AND
T.
WILKE
COMPARING
VERBOSENESS
FOR
FINITE
AUTOMATA
AND
TURING
MACHINES
465
T.
TANTAU
ON
THE
AVERAGE
PARALLELISM
IN
TRACE
MONOIDS
477
D.
KROB,
J.
MAIRESSE,
AND
I.
MICHOS
A
FURTHER
STEP
TOWARDS
A
THEORY
OF
REGULAR
MSC
LANGUAGES
489
D.
KUSKE
EXISTENTIAL
AND
POSITIVE
THEORIES
OF
EQUATIONS
IN
GRAPH
PRODUCTS
501
V.
DIEKERT
AND
M.
LOHREY
XIV
TABLE
OF
CONTENTS
THE
MEMBERSHIP
PROBLEM
FOR
REGULAR
EXPRESSIONS
WITH
513
INTERSECTION
IS
COMPLETE
IN
LOGCFL
H.
PETERSEN
RECOGNIZABLE
SETS
OF
MESSAGE
SEQUENCE
CHARTS
523
R.
MORIN
STRONG
BISIMILARITY
AND
REGULARITY
OF
BASIC
PARALLEL
PROCESSES
IS
535
PSPACE-HARD
J.
SRBA
ON
THE
ENUMERATIVE
SEQUENCES
OF
REGULAR
LANGUAGES
547
ON
K
SYMBOLS
M.-P.
BEAL
AND
D.
PERRIN
LOGIC
IN
COMPUTER
SCIENCE
GROUND
TREE
REWRITING
GRAPHS
OF
BOUNDED
TREE
WIDTH
559
C.
LADING
TIMED
CONTROL
SYNTHESIS
FOR
EXTERNAL
SPECIFICATIONS
571
D.
D
'
SOUZA
AND
P.
MADHUSUDAN
AXIOMATIZING
GSOS
WITH
TERMINATION
583
J.C.M.
BAETEN
AND
E.P.
DE
VINK
AXIOMATISING
TREE-INTERPRETABLE
STRUCTURES
596
A.
BLUMENSATH
EXPSPACE-COMPLETE
VARIANT
OF
GUARDED
FRAGMENT
WITH
608
TRANSITIVITY
E.
KIERONSKI
A
PARAMETRIC
ANALYSIS
OF
THE
STATE
EXPLOSION
PROBLEM
IN
MODEL
620
CHECKING
S.
DEMRI,
F.
LAROUSSINIE,
AND
P.
SCHNOEBELEN
GENERALIZED
MODEL-CHECKING
OVER
LOCALLY
TREE-DECOMPOSABLE
632
CLASSES
M.
FRICK
LEARNABILITY
AND
DEFINABILITY
IN
TREES
AND
SIMILAR
STRUCTURES
645
M.
GROHE
AND
G.
TURAN
AUTHOR
INDEX
659 |
| any_adam_object | 1 |
| author_corporate | STACS Antibes; Juan-les-Pins |
| author_corporate_role | aut |
| author_facet | STACS Antibes; Juan-les-Pins |
| author_sort | STACS Antibes; Juan-les-Pins |
| building | Verbundindex |
| bvnumber | BV014150788 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)472923711 (DE-599)BVBBV014150788 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV014150788</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020910</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020211s2002 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963685201</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540432833</subfield><subfield code="9">3-540-43283-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)472923711</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014150788</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">STACS</subfield><subfield code="n">19</subfield><subfield code="d">2002</subfield><subfield code="c">Antibes; Juan-les-Pins</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10033228-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">STACS 2002</subfield><subfield code="b">19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings</subfield><subfield code="c">Helmut Alt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 660 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">Lecture notes in computer science</subfield><subfield code="v">2285</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science - Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">2002</subfield><subfield code="z">Antibes</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">Alt, Helmut</subfield><subfield code="e">Sonstige</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">2285</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2285</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=009698300&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-009698300</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Antibes gnd-content |
| genre_facet | Konferenzschrift 2002 Antibes |
| id | DE-604.BV014150788 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:14Z |
| institution | BVB |
| institution_GND | (DE-588)10033228-6 |
| isbn | 3540432833 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009698300 |
| oclc_num | 472923711 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-20 DE-29T DE-706 DE-634 DE-188 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-20 DE-29T DE-706 DE-634 DE-188 DE-83 |
| physical | XIV, 660 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | STACS 19 2002 Antibes; Juan-les-Pins Verfasser (DE-588)10033228-6 aut STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings Helmut Alt ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 XIV, 660 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2285 Literaturangaben Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Antibes gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Alt, Helmut Sonstige oth Lecture notes in computer science 2285 (DE-604)BV000000607 2285 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009698300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings Lecture notes in computer science Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings |
| title_auth | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings |
| title_exact_search | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings |
| title_full | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings Helmut Alt ... (eds.) |
| title_fullStr | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings Helmut Alt ... (eds.) |
| title_full_unstemmed | STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings Helmut Alt ... (eds.) |
| title_short | STACS 2002 |
| title_sort | stacs 2002 19th annual symposium on theoretical aspects of computer science antibes juan les pins france march 14 16 2002 proceedings |
| title_sub | 19th Annual Symposium on Theoretical Aspects of Computer Science ; Antibes - Juan les Pins, France, March 14-16, 2002 ; proceedings |
| topic | Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Computer science - Congresses Informatik Theoretische Informatik Konferenzschrift 2002 Antibes |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009698300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT stacsantibesjuanlespins stacs200219thannualsymposiumontheoreticalaspectsofcomputerscienceantibesjuanlespinsfrancemarch14162002proceedings AT althelmut stacs200219thannualsymposiumontheoreticalaspectsofcomputerscienceantibesjuanlespinsfrancemarch14162002proceedings |