Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1644 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012631470 | ||
| 003 | DE-604 | ||
| 005 | 20000110 | ||
| 007 | t| | ||
| 008 | 990622s1999 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 956628567 |2 DE-101 | |
| 020 | |a 3540662243 |9 3-540-66224-3 | ||
| 035 | |a (OCoLC)443600982 | ||
| 035 | |a (DE-599)BVBBV012631470 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-824 |a DE-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 080 | |a 519.68 | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Automata, languages and programming |b 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings |c Jiří Wiedermann ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1999 | |
| 300 | |a XIV, 720 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 1644 | |
| 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 1999 |z Prag |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wiedermann, Jiří |d 1948- |e Sonstige |0 (DE-588)135879396 |4 oth | |
| 711 | 2 | |a ICALP |n 26 |d 1999 |c Prag |j Sonstige |0 (DE-588)2177689-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1644 |w (DE-604)BV000000607 |9 1644 | |
| 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=008581673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008581673 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1074482 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020404359 |
| _version_ | 1822408709419040768 |
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALKS
GENERATING
HARD
INSTANCES
OF
THE
SHORT
BASIS
PROBLEM
.
1
MIKLOS
AJTAI
WIDE
AREA
COMPUTATION
.
10
LUCA
CARDELLI
PROOF
TECHNIQUES
FOR
CRYPTOGRAPHIC
PROTOCOLS
.
25
KEVIN
J.
COMPTON,
SCOTT
DEXTER
TYPE
STRUCTURE
FOR
LOW-LEVEL
PROGRAMMING
LANGUAGES
.
40
KARL
CRARY,
GREG
MORRISETT
REAL
COMPUTATIONS
WITH
FAKE
NUMBERS
.
55
FELIPE
CUCKER
A
MODEL
FOR
ASSOCIATIVE
MEMORY,
A
BASIS
FOR
THINKING
AND
CONSCIOUSNESS
.
74
N.G.
DE
BRUIJN
NUMERICAL
INTEGRATION
WITH
EXACT
REAL
ARITHMETIC
.
90
ABBAS
EDALAT,
MARKO
KRZNARIC
OBSERVATIONS
ABOUT
THE
NATURE
AND
STATE
OF
COMPUTER
SCIENCE
(KEYNOTE
ADDRESS)
.
105
JURIS
HARTMANIS
DNA
COMPUTING:
NEW
IDEAS
AND
PARADIGMS
.
106
GRZEGORZ
ROZENBERG,
ARTO
SALOMAA
ONLINE
DATA
STRUCTURES
IN
EXTERNAL
MEMORY
.
119
JEFFREY
SCOTT
VITTER
FROM
COMPUTATIONAL
LEARNING
THEORY
TO
DISCOVERY
SCIENCE
.
134
OSAMU
WATANABE
CONTRIBUTED
PAPERS
BOUNDED
DEPTH
ARITHMETIC
CIRCUITS:
COUNTING
AND
CLOSURE
.
149
ERIC
ALLENDER,
ANDRIS
AMBAINIS,
DAVID
A.
MIX
BARRINGTON,
SAMIR
DATTA,
HUONG
LETHANH
PARAMETRIC
TEMPORAL
LOGIC
FOR
"
MODEL
MEASURING
"
.
159
RAJEEV
ALUR,
KOUSHA
ETESSAMI,
SALVATORE
LA
TORRE,
DORON
PELED
XI
COMMUNICATING
HIERARCHICAL
STATE
MACHINES
.
169
RAJEEV
ALUR,
SAMPATH
KANNAN,
MIHALIS
YANNAKAKIS
SMALL
PSEUDO-RANDOM
SETS
YIELD
HARD
FUNCTIONS:
NEW
TIGHT
EXPLICIT
LOWER
BOUNDS
FOR
BRANCHING
PROGRAMS
(EXTENDED
ABSTRACT)
.
179
ALEXANDER
E.
ANDREEV,
JURI
L.
BASKAKOV,
ANDREA
E.
F.
CLEMENTI,
JOSE
D.
P.
ROLIM
GENERAL
MORPHISMS
OF
PETRI
NETS
(EXTENDED
ABSTRACT)
.
190
MAREK
A.
BEDNARCZYK,
ANDRZEJ
M.
BORZYSZKOWSKI
ON
SOME
TIGHTER
INAPPROXIMABILITY
RESULTS
(EXTENDED
ABSTRACT)
.
200
PIOTR
BERMAN,
MAREK
KARPINSKI
DECOMPOSITION
AND
COMPOSITION
OF
TIMED
AUTOMATA
.
210
PATRICIA
BOUYER,
ANTOINE
PETIT
NEW
APPLICATIONS
OF
THE
INCOMPRESSIBILITY
METHOD
(EXTENDED
ABSTRACT)
.
220
HARRY
BUHRMAN,
TAO
JIANG,
MING
LI,
PAUL
VITDNYI
MOBILITY
TYPES
FOR
MOBILE
AMBIENTS
.
230
LUCA
CARDELLI,
GIORGIO
GHELLI,
ANDREW
D.
GORDON
PROTEIN
FOLDING,
THE
LEVINTHAL
PARADOX
AND
RAPIDLY
MIXING
MARKOV
CHAINS
.
240
PETER
CLOTE
DECIDABLE
FRAGMENTS
OF
SIMULTANEOUS
RIGID
REACHABILITY
.
250
VERONIQUE
CORTIER,
HARALD
GANZINGER,
FLORENT
JACQUEMARD,
MARGUS
VEANES
TEXT
COMPRESSION
USING
ANTIDICTIONARIES
.
261
M.
CROCHEMORE,
F.
MIGNOSI,
A.
RESTIVO,
S.
SALEMI
NON-INTERACTIVE
ZERO-KNOWLEDGE:
A
LOW-RANDOMNESS
CHARACTERIZATION
OF
NP
(EXTENDED
ABSTRACT)
.
271
A.
BE
SANTIS,
G.
DI
CRESCENZO,
G.
PERSIANO
TIMED
ALTERNATING
TREE
AUTOMATA:
THE
AUTOMATA-THEORETIC
SOLUTION
TO
THE
TCTL
MODEL
CHECKING
PROBLEM
.
281
MARTIN
DICKHOFER,
THOMAS
WILKE
SPACE-TIME
TRADEOFFS
FOR
GRAPH
PROPERTIES
.
291
YEVGENIY
DODIS,
SANJEEV
KHANNA
BOUNDEDNESS
OF
RESET
P/T
NETS
.
301
C.
DUFOURD,
P.
JANCAR,
PH.
SCHNOEBELEN
TWO-WAY
FINITE
STATE
TRANSDUCERS
AND
MONADIC
SECOND-ORDER
LOGIC
.
311
JOOST
ENGELFRIET,
HENDRIK
JAN
HOOGEBOOM
XII
PARTIALLY
ORDERED
REGULAR
LANGUAGES
FOR
GRAPH
QUERIES
(EXTENDED
ABSTRACT)
.
321
SERGIO
FLESCA,
SERGIO
GRECO
DECIDING
FIRST-ORDER
PROPERTIES
OF
LOCALLY
TREE-DECOMPOSABLE
GRAPHS
.
331
MARKUS
FRICK,
MARTIN
GROHE
COMPARISON
OF
PROCESS
ALGEBRA
EQUIVALENCES
USING
FORMATS
.
341
VASHTI
GALPIN
COMPACT
ROUTING
TABLES
FOR
GRAPHS
OF
BOUNDED
GENUS
(EXTENDED
ABSTRACT)
.
351
CYRIL
GAVOILLE,
NICOLAS
HANUSSE
COMPUTING
LOGCFL
CERTIFICATES
.
361
GEORG
GOTTLOB,
NICOLA
LEONE,
FRANCESCO
SCARCELLO
EFFICIENT
TECHNIQUES
FOR
MAINTAINING
MULTIDIMENSIONAL
KEYS
IN
LINKED
DATA
STRUCTURES
(EXTENDED
ABSTRACT)
.
372
ROBERTO
GROSSI,
GIUSEPPE
F.
ITALIANO
ON
THE
COMPLEMENTS
OF
PARTIAL
/C-TREES
.
382
ARVIND
GUPTA,
DAMON
KALLER,
THOMAS
SHERMER
APPROXIMATION
RESULTS
FOR
KINETIC
VARIANTS
OF
TSP
.
392
MIKAEL
HAMMAR,
BENGT
J.
NILSSON
DISTRIBUTED
PROBABILISTIC
POLLING
AND
APPLICATIONS
TO
PROPORTIONATE
AGREEMENT
.
402
YEHUDA
HASSIN,
DAVID
PELEG
BISIMULATION
EQUIVALENCE
IS
DECIDABLE
FOR
NORMED
PROCESS
ALGEBRA
(EXTENDED
ABSTRACT)
.
:
.
412
YORAM
HIRSHFELD,
MARK
JERRUM
A
FRAMEWORK
FOR
DECIDABLE
METRICAL
LOGICS
.
422
YORAM
HIRSHFELD,
ALEXANDER
RABINOVICH
ON
THE
POWER
OF LAS
VEGAS
II.
TWO-WAY
FINITE
AUTOMATA
.
433
JURAJ
HROMKOVID,
GEORG
SCHNITGER
STABLE
MARRIAGE
WITH
INCOMPLETE
LISTS
AND
TIES
.
443
KAZUO
IWAMA,
DAVID
MANLOVE,
SHUICHI
MIYAZAKI,
YASUFUMI
MORITA
AVERAGERCASE
COMPLEXITY
OF
SHELLSORT
(PRELIMINARY
VERSION)
.
453
TAO
JIANG,
MING
LI,
PAUL
VITDNYI
LINEAR-TIME
CONSTRUCTION
OF
TWO-DIMENSIONAL
SUFFIX
TREES
.
463
DONG
KYUE
KIM,
KUNSOO
PARK
XIII
A
CONNECTION
BETWEEN
THE
STAR
PROBLEM
AND
THE
FINITE
POWER
PROPERTY
IN
TRACE
MONOIDS
(EXTENDED
ABSTRACT)
.
473
DANIEL
KIRSTEN
TWO
TECHNIQUES
IN
THE
AREA
OF
THE
STAR
PROBLEM
.
483
DANIEL
KIRSTEN,
JERZY
MARCINKOWSKI
APPROXIMATIONS
BY
OBDDS
AND
THE
VARIABLE
ORDERING
PROBLEM
.
493
MATTHIAS
KRAUSE,
PETR
SAVICKY,
INGO
WEGENER
SIMULATION
PREORDER
ON
SIMPLE
PROCESS
ALGEBRAS
.
503
ANTONIN
KUIERA,
RICHARD
MAYR
SOLOS
IN
CONCERT
.
513
COSIMO
LANEVE,
BJORN
VICTOR
SHORTEST
ANISOTROPIC
PATHS
ON
TERRAINS
.
524
MARK
LANTHIER,
ANIL
MAHESHWARI,
JORG-RUDIGER
SACK
RELATIONS
BETWEEN
LOCAL
AND
GLOBAL
PERIODICITY
OF
WORDS
(EXTENDED
ABSTRACT)
.
534
A.
LEPISTO
EFFICIENT
MERGING,
CONSTRUCTION,
AND
MAINTENANCE
OF
EVOLUTIONARY
TREES
.
544
ANDRZEJ
LINGAS,
HANS
OLSSON,
ANNA
OSTLIN
FORMALIZING
A
LAZY
SUBSTITUTION
PROOF
SYSTEM
FOR
/Z-CALCULUS
IN
THE
CAL
CULUS
OF
INDUCTIVE
CONSTRUCTIONS
.
554
MARINO
MICULAN
LEADER
ELECTION
BY
D
DIMENSIONAL
CELLULAR
AUTOMATA
.
565
CODRIN
NICHITIU,
ERIC
REMILA
NEW
UPPER
BOUNDS
FOR
MAXSAT
.
575
ROLF
NIEDERMEIER,
PETER
ROSSMANITH
POLYNOMIAL
AND
RATIONAL
EVALUATION
AND
INTERPOLATION
(WITH
STRUCTURED
MATRICES)
.
585
VADIM
OLSHEVSKY,
VICTOR
Y.
PAN
LOW
REDUNDANCY
IN
STATIC
DICTIONARIES
WITH
0(1)
WORST
CASE
LOOKUP
TIME
.
595
RASMUS
PAGH
FINITE
AUTOMATA
WITH
GENERALIZED
ACCEPTANCE
CRITERIA
.
605
TIMO
PEICHL,
HERIBERT
VOLLMER
A
VARIANT
OF
THE
ARROW
DISTRIBUTED
DIRECTORY
WITH
LOW
AVERAGE
COMPLEXITY
(EXTENDED
ABSTRACT)
.
615
DAVID
PELEG,
EILON
RESHEF
XIV
CLOSED
FREYD
AND
K-CATEGORIES
.
625
JOHN
POWER,
HAYO
THIELECKE
TYPED
EXCEPTIONS
AND
CONTINUATIONS
CANNOT
MACRO-EXPRESS
EACH
OTHER
.
635
JON
G.
RIECKE,
HAYO
THIELECKE
AUTOMATA,
POWER
SERIES,
AND
COINDUCTION:
TAKING
INPUT
DERIVATIVES
SERIOUSLY
(EXTENDED
ABSTRACT)
.
645
J.J.M.M.
RUTTEN
ACCESSING
MULTIPLE
SEQUENCES
THROUGH
SET
ASSOCIATIVE
CACHES
.
655
PETER
SANDERS
T(A)
=
T(B)?
.
665
GERAUD
SENIZERGUES
MANY-VALUED
LOGICS
AND
HOLOGRAPHIC
PROOFS
.
676
MARIO
SZEGEDY
ON
THE
COMPLEXITY
AND
INAPPROXIMABILITY
OF
SHORTEST
IMPLICANT
PROBLEMS
687
CHRISTOPHER
UMANS
THE
WAVE
PROPAGATOR
IS
TURING
COMPUTABLE
.
697
KLAUS
WEIHRAUCH,
NING
ZHONG
AN
FPTAS
FOR
AGREEABLY
WEIGHTED
VARIANCE
ON
A
SINGLE
MACHINE
(EX
TENDED
ABSTRACT)
.
707
GERHARD
J.
WOEGINGER
ERRATUM:
BULK-SYNCHRONOUS
PARALLEL
MULTIPLICATION
OF
BOOLEAN
MATRICES
.
717
A.
TISKIN
AUTHOR
INDEX
.
719 |
| any_adam_object | 1 |
| author_GND | (DE-588)135879396 |
| building | Verbundindex |
| bvnumber | BV012631470 |
| classification_rvk | ST 240 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)443600982 (DE-599)BVBBV012631470 |
| 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">BV012631470</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000110</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">990622s1999 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">956628567</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540662243</subfield><subfield code="9">3-540-66224-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)443600982</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012631470</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">519.68</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings</subfield><subfield code="c">Jiří Wiedermann ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 720 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">1644</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">1999</subfield><subfield code="z">Prag</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">Wiedermann, Jiří</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135879396</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">26</subfield><subfield code="d">1999</subfield><subfield code="c">Prag</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2177689-1</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">1644</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1644</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=008581673&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-008581673</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Prag gnd-content |
| genre_facet | Konferenzschrift 1999 Prag |
| id | DE-604.BV012631470 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:26:19Z |
| institution | BVB |
| institution_GND | (DE-588)2177689-1 |
| isbn | 3540662243 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008581673 |
| oclc_num | 443600982 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-824 DE-521 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-824 DE-521 DE-634 DE-83 DE-188 DE-706 |
| physical | XIV, 720 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings Jiří Wiedermann ... (ed.) Berlin [u.a.] Springer 1999 XIV, 720 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1644 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Prag gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Wiedermann, Jiří 1948- Sonstige (DE-588)135879396 oth ICALP 26 1999 Prag Sonstige (DE-588)2177689-1 oth Lecture notes in computer science 1644 (DE-604)BV000000607 1644 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008581673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings |
| title_auth | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings |
| title_exact_search | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings |
| title_full | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings Jiří Wiedermann ... (ed.) |
| title_fullStr | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings Jiří Wiedermann ... (ed.) |
| title_full_unstemmed | Automata, languages and programming 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings Jiří Wiedermann ... (ed.) |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 26th international colloquium icalp 99 prague czech republik july 11 15 1999 proceedings |
| title_sub | 26th international colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift 1999 Prag |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008581673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wiedermannjiri automatalanguagesandprogramming26thinternationalcolloquiumicalp99pragueczechrepublikjuly11151999proceedings AT icalpprag automatalanguagesandprogramming26thinternationalcolloquiumicalp99pragueczechrepublikjuly11151999proceedings |