Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture Notes in Computer Science
2719 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVIII, 1199 S. |
| ISBN: | 3540404937 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017304481 | ||
| 003 | DE-604 | ||
| 005 | 20030721 | ||
| 007 | t| | ||
| 008 | 030708s2003 gw |||| 10||| eng d | ||
| 016 | 7 | |a 967965721 |2 DE-101 | |
| 020 | |a 3540404937 |9 3-540-40493-7 | ||
| 035 | |a (OCoLC)52557967 | ||
| 035 | |a (DE-599)BVBBV017304481 | ||
| 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-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Automata, Languages and Programming |b 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XVIII, 1199 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 2719 | |
| 650 | 7 | |a Abstracte automaten |2 gtt | |
| 650 | 4 | |a Algorithmes - Congrès | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 4 | |a Computer algorithms |v Congresses | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 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 2003 |z Eindhoven |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Baeten, Josephus C. M. |e Sonstige |4 oth | |
| 711 | 2 | |a ICALP |n 30 |d 2003 |c Eindhoven |j Sonstige |0 (DE-588)10059275-2 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 2719 |w (DE-604)BV000000607 |9 2719 | |
| 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=010430162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010430162 | |
Datensatz im Suchindex
| _version_ | 1820874923789254656 |
|---|---|
| adam_text |
JOS CM
. BAETEN JAN KAREL LENSTR
A
JOACHI
M PARROW GERHARD J. WOEGINGER (EDS.)
AUTOMATA, LANGUAGES
AND PROGRAMMING
30TH INTERNATIONAL COLLOQUIUM, ICALP 2003
EINDHOVEN, THE NETHERLANDS, JUNE 30 - JULY 4, 2003
PROCEEDINGS
J
P SPRINGER
TABL
E OF CONTENT
S
INVITE
D LECTURE
S
POLARIZED PROCES
S ALGEBR
A AN
D PROGRA
M EQUIVALENCE 1
JAN A. BERGSTRA, INGE BETHKE
PROBLEM
S ON RNA SECONDAR
Y STRUCTUR
E PREDICTIO
N AN
D DESIGN 22
ANNE CONDON
SOME ISSUES REGARDIN
G SEARCH, CENSORSHIP
, AN
D ANONYMIT
Y IN PEE
R
T
O PEE
R NETWORKS 33
ARNOS FIAT
TH
E SPQR-TRE
E DAT
A STRUCTUR
E IN GRAP
H DRAWING 34
PETRA MUTZEL
MODEL CHECKING AN
D TESTIN
G COMBINED 47
DOWN PELED
LOGIC AN
D AUTOMATA
: A MATC
H MADE IN HEAVEN 64
MOSHE Y. VARDI
ALGORITHM
S
PUSHDOW
N AUTOMAT
A AN
D MULTICOUNTE
R MACHINES, A COMPARISO
N OF
COMPUTATIO
N MODE
S 66
JURAJ HROMKOVIC, GEORG SCHNITGER
GENERALIZED FRAMEWOR
K FOR SELECTORS WIT
H APPLICATION
S IN
OPTIMA
L GROU
P TESTIN
G 81
ANNALISA DE BONIS, LESZEK GG,SIENIEC, UGO VACCARO
DECODING OF INTERLEAVE
D REED SOLOMON CODES OVER NOISY DAT
A 97
DANIEL BLEICHENBACHER, AGGELOS KIAYIAS, MOTI YUNG
PROCES
S ALGEBR
A
ON TH
E AXIOMATIZABILIT
Y OF READ
Y TRACES
, READ
Y SIMULATION
, AN
D
FAILURE TRACE
S 109
STEFAN BLOM, WAN FOKKINK, SUMIT NAIN
RESOURCE ACCESS AN
D MOBILITY CONTRO
L WIT
H
DYNAMIC PRIVILEGES ACQUISITIO
N 119
DANIELE GORLA, ROSARIO PUGLIESE
XI
I TABL
E OF CONTENT
S
REPLICATIO
N VS
. RECURSIV
E DEFINITION
S I
N CHANNE
L BASE
D CALCUL
I 13
3
NADIA BUSI, MAURIZIO GABBRIELLI, GIANLUIGI ZAVATTARO
APPROXIMATIO
N ALGORITHM
S
IMPROVE
D COMBINATORIA
L APPROXIMATIO
N ALGORITHM
S FOR TH
E /C-LEVEL
FACILIT
Y LOCATIO
N PROBLE
M 145
ALEXANDER AGEEV, YINYU YE, JIAWEI ZHANG
A
N IMPROVE
D APPROXIMATIO
N ALGORITH
M FOR TH
E ASYMMETRI
E TS
P WIT
H
STRENGTHENE
D TRIANGL
E INEQUALIT
Y 15
7
MARKUS BLAESER
A
N IMPROVE
D APPROXIMATIO
N ALGORITH
M FOR VERTE
X COVE
R WIT
H
HAR
D CAPACITIE
S 164
RAJIV GANDHI, ERAN HALPERIN, SAMIR KHULLER, GUY KORTSARZ,
ARAVIND SRINIVASAN
APPROXIMATIO
N SCHEME
S FOR DEGREE-RESTRICTE
D MS
T AN
D
RED-BLU
E SEPARATIO
N PROBLE
M 176
SANJEEV ARORA, KEVIN L. CHANG
APPROXIMATIN
G STEINE
R FC-CUTS 18
9
CHANDRA CHEKURI, SUDIPTO GUHA, JOSEPH NAOR
MA
X FC-CUT AN
D APPROXIMATIN
G TH
E CHROMATI
C NUMBE
R OF
RANDO
M GRAPH
S 20
0
AMIN COJA-OGHLAN, CRISTOPHER MOORE, VISHAI SANWALANI
APPROXIMATIO
N ALGORITH
M FOR DIRECTE
D TELEPHON
E MULTICAS
T PROBLE
M .
. 21
2
MICHAEL ELKIN, GUY KORTSARZ
LANGUAGE
S AN
D PROGRAMMIN
G
MIXI
N MODULE
S AN
D COMPUTATIONA
L EFFECT
S 22
4
DAVIDE ANCONA, SONIA FAGORZI, EUGENIO MOGGI, ELENA ZUCCA
DECISIO
N PROBLEM
S FOR LANGUAG
E EQUATION
S WIT
H BOOLEA
N OPERATION
S .
. 23
9
ALEXANDER OKHOTIN
GENERALIZE
D REWRIT
E THEORIE
S 25
2
ROBERTO BRUNI, JOSE MESEGUER
COMPLEXIT
Y
SOPHISTICATIO
N REVISITE
D 26
7
LUIS ANTUNES, LANCE FORTNOW
SCALE
D DIMENSIO
N AN
D NONUNIFOR
M COMPLEXIT
Y 27
8
JOHN M. HITCHCOCK, JACK H. LUTZ, ELVIRA MAYORDOMO
TABLE OF CONTENTS XIII
QUANTU
M SEARCH ON BOUNDED-ERRO
R INPUT
S 291
PETER H0YER, MICHELE MOSCA, RONALD DE WOLF
A DIRECT SUM THEORE
M IN COMMUNICATIO
N COMPLEXIT
Y VI
A
MESSAGE COMPRESSIO
N 300
RAHUL JAIN, JAIKUMAR RADHAKRISHNAN, PRANAB SEN
DAT
A STRUCTURE
S
OPTIMA
L CACHE-OBLIVIOUS IMPLICI
T DICTIONARIE
S 316
GIANNI FRANCESCHINI, ROBERTO GROSSI
TH
E CELL PROB
E COMPLEXIT
Y OF SUCCINCT DAT
A STRUCTURE
S 332
ANNA GAEL, PETER BRO MILTERSEN
SUCCINCT REPRESENTATION
S OF PERMUTATION
S 345
J. IAN MUNRO, RAJEEV RAMAN, VENKATESH RAMAN, SATTI SRINIVASA RAO
SUCCINCT DYNAMI
C DICTIONARIE
S AN
D TREES 357
RAJEEV RAMAN, SATTI SRINIVASA RAO
GRAP
H ALGORITHM
S
LABELIN
G SCHEINES FOR WEIGHTED DYNAMI
C TREES 369
ARNOS KORMAN, DAVID PELEG
A SIMPLE LINEA
R TIM
E ALGORITH
M FOR COMPUTIN
G A (2K - 1)-SPANNER
OF 0(N
1+1/K
) SIZE IN WEIGHTED GRAPH
S 384
SURENDER BASWANA, SANDEEP SEN
MULTICOMMODIT
Y FLOWS OVER TIME
:
EFFLCIENT ALGORITHM
S AN
D COMPLEXIT
Y , 397
ALEX HALL, STEFFEN HIPPLER, MARTIN SKUTELLA
MULTICOMMODIT
Y DEMAN
D FLOW IN A TREE 410
CHANDRA CHEKURI, MARCELO MYDLARZ, F. BRUCE SHEPHERD
AUTOMAT
A
SKEW AN
D INFINITAR
Y FORMA
L POWER SERIES 426
MANFRED DROSTE, DIETRICH KUSKE
NONDETERMINIS
M VERSU
S DETERMINIS
M FOR TWO-WAY FINIT
E AUTOMATA
:
GENERALIZATION
S OF SIPSER'
S SEPARATIO
N . 439
JURAJ HROMKOVIC, GEORG SCHNITGER
RESIDUA
L LANGUAGE
S AN
D PROBABILISTI
C AUTOMAT
A 452
FRANGOIS DENIS, YANN ESPOSITO
XIV TABLE OF CONTENTS
A TESTIN
G SCENARIO FOR PROBABILISTI
C AUTOMAT
A 464
MARIELLE STOELINGA, FRITS VAANDRAGER
TH
E EQUIVALENC
E PROBLE
M FOR I-TUR
N DPD
A IS CO-N
P 478
GERAUD SENIZERGUES
FLIP-PUSHDOW
N AUTOMATA
: K + 1 PUSHDOW
N REVERSAIS AR
E BETTE
R THA
N K 490
MARKUS HOLZER, MARTIN KUTRIB
OPTIMIZATIO
N AN
D GAME
S
CONVERGENCE TIM
E T
O NAS
H EQUILIBRI
A 502
EYAL EVEN-DAR, ALEX KESSELMAN, YISHAY MANSOUR
NASHIFICATION AN
D TH
E COORDINATIO
N RATI
O FOR A SELFISH ROUTIN
G GAM
E .
. 514
RAINER FELDMANN, MARTIN GAIRING, THOMAS LUECKING,
BURKHARD MONIEN, MANUEL RODE
STABL
E MARRIAGE
S WIT
H MULTIPL
E PARTNERS
: EFFICIENT SEARCH FOR A
N
OPTIMA
L SOLUTION 527
VIPUL BANSAL, ASEEM AGRAWAL, VARUN S. MALHOTRA
AN INTERSECTIO
N INEQUALIT
Y FOR DISCRET
E DISTRIBUTION
S AN
D RELATE
D
GENERATIO
N PROBLEM
S 543
ENDRE BOROS, KHALED ELBASSIONI, VLADIMIR GURVICH, LEONID KHACHIYAN,
KAZUHISHA MAKINO
GRAPH
S AN
D BISIMULATIO
N
HIGHER ORDE
R PUSHDOW
N AUTOMATA
, TH
E CAUCA
L HIERARCH
Y OF
GRAPH
S AN
D PARIT
Y GAME
S 556
THIERRY CACHAT
UNDECIDABILIT
Y OF WEAK BISIMULATIO
N EQUIVALENCE FOR
1-COUNTER PROCESSE
S 570
RICHARD MAYR
BISIMULATIO
N PROOF METHOD
S FOR MOBILE AMBIENT
S 584
MASSIMO MERRO, FRANCESCO ZAPPA NARDELLI
ON EQUIVALEN
T REPRESENTATION
S OF INFINITE STRUCTURE
S 599
ARNAUD CARAYOL, THOMAS COLCOMBET
ONLIN
E PROBLEM
S
ADAPTIV
E RAISING STRATEGIE
S OPTIMIZIN
G RELATIV
E EFFICIENCY 611
ARNOLD SCHOENHAGE
A COMPETITIV
E ALGORITH
M FOR TH
E GENERA
L 2-SERVER PROBLE
M 624
RENE A. SITTERS, LEEN STOUGIE, WILLEM E. DE PAEPE
TABLE OF CONTENTS XV
ON TH
E COMPETITIV
E RATI
O FOR ONLINE FACILITY LOCATIO
N 637
DIMITRIS FOTAKIS
A STUD
Y OF INTEGRATE
D DOCUMEN
T AN
D CONNECTIO
N CACHING 653
SUSANNE ALBERS, ROH VAN STEE
VERIFICATIO
N
A SOLVABLE CLASS OF QUADRATI
C DIOPHANTIN
E EQUATION
S WIT
H
APPLICATION
S T
O VERIFICATION OF INFINITE-STAT
E SYSTEM
S 668
GAOYAN XIE, ZHE DANG, OSCAR H. IBARRA
MONADIC SECOND-ORDE
R LOGICS WIT
H CARDINALITIE
S 681
FELIX KLAEDTKE, HARALD RUESS
N
2
NS
2
= AFMC 697
OMA KUPFERMAN, MOSHE Y. VARDI
UPPE
R BOUND
S FOR A THEOR
Y OF QUEUES 714
TATIANA RYBINA, ANDREI VORONKOV
AROUN
D TH
E INTERNE
T
DEGREE DISTRIBUTIO
N OF TH
E FK
P NETWORK MODEL 725
NOAM BERGER, BELA BOLLOBDS, CHRISTIAN BORGS, JENNIFER CHAYES,
OLIVER RIORDAN
SIMILARITY MATRICE
S FOR PAIR
S OF GRAPH
S 739
VINCENT D. BLONDEL, PAUL VAN DOOREN
ALGORITHMI
C ASPECT
S OF BANDWIDT
H TRADIN
G 751
RANDEEP BHATIA, JULIA CHUZHOY, ARI FREUND, JOSEPH NAOR
TEMPORA
L LOGI
C AN
D MODE
L CHECKIN
G
CTL
+ IS COMPLET
E FOR DOUBLE EXPONENTIA
L TIM
E 767
JAN JOHANNSEN, MARTIN LANGE
HIERARCHICA
L AN
D RECURSIVE STAT
E MACHINES WIT
H
CONTEXT-DEPENDEN
T PROPERTIE
S 776
SALVATORE LA TORRE, MARGHERITA NAPOLI, MIMMO PARENTE,
GENNARO PARLATO
ORACLE CIRCUIT
S FOR BRANCHING-TIM
E MODEL CHECKING . 790
PHILIPPE SCHNOEBELEN
XVI TABLE OF CONTENTS
GRAP
H PROBLEM
S
THER
E ARE SPANNIN
G SPIDERS IN DENSE GRAPH
S (AND WE KNOW HOW T
O
FIND THEM
) G02
LUISA GARGANO, MIKAEL HAMMAR
TH
E COMPUTATIONA
L COMPLEXIT
Y OF TH
E ROLE ASSIGNMEN
T PROBLE
M 817
JIM FIALA, DANIEL PAULUSMA
FIXED-PARAMETE
R ALGORITHM
S FOR TH
E (FC,R)-CENTE
R I
N PLANA
R
GRAPH
S AN
D MA
P GRAPH
S 829
ERIK D. DEMAINE, FEDOR V. FOMIN, MOHAMMAD TAGHI HAJIAGHAYI,
DIMUERIOS M. THILIKOS
GENUS CHARACTERIZE
S TH
E COMPLEXIT
Y OF GRAP
H PROBLEMS
:
SOME TIGH
T RESULT
S G45
JIANER CHEN, IYAD A. KANJ, LJUBOMIR PERKOVTC, ERIC SEDGWICK,
GE XIA
LOGIC AN
D LAMBDA-CALCULU
S
TH
E DEFINITION OF A TEMPORA
L CLOCK OPERATO
R 857
CINDY EISNER, DANA FISMAN, JOHN HAVLICEK, ANTHONY MCLSAAC,
DAVID VAN CAMPENHOUT
MINIMA
L CLASSICAL LOGIC AN
D CONTRO
L OPERATOR
S 871
ZENA M. ARIOLA, HUGO HERBELIN
COUNTEREXAMPLE-GUIDE
D CONTRO
L 886
THOMAS A. HENZINGER, RANJIT JHALA, RUPAK MAJUMDAR
AXIOMATI
C CRITERI
A FOR QUOTIENT
S AN
D SUBOBJECT
S FOR HIGHER-ORDE
R
DAT
A TYPE
S 903
JO HANNAY
DAT
A STRUKTURE
S AN
D ALGORITHM
S
EFFICIENT PEBBLIN
G FOR LIST TRAVERSAL SYNOPSES 918
YOSSI MATIAS, ELY PORAT
FUNCTIO
N MATCHING
: ALGORITHMS
, APPLICATIONS
, AN
D A LOWER BOUN
D 929
AMIHOOD AMIR, YONATAN AUMANN, RICHARD GOLE, MOSHE LEWENSTEIN,
ELY PORAT
SIMPLE LINEA
R WORK SUFFIX ARRA
Y CONSTRUCTIO
N 943
JUHA KAERKKAEINEN, PETER SANDERS
TABL
E OF CONTENT
S XVI
I
TYPE
S AN
D CATEGORIE
S
EXPANSIO
N POSTPONEMEN
T VI
A CU
T ELIMINATIO
N I
N SEQUEN
T CALCUL
I FOR
PUR
E TYP
E SYSTEM
S 95
6
FRANCISCO GUTIERREZ, BLAS RUIZ
SECREC
Y I
N UNTRUSTE
D NETWORK
S 96
9
MICHELE BUGLIESI, SILVIA CRAFA, AMELA PRELIC, VLADIMIRE/ SASSONE
LOCALL
Y COMMUTATIV
E CATEGORIE
S 98
4
ARKADEV CHATTOPADHYAY, DENIS THERIEN
PROBABILISTI
C SYSTEM
S
SEMI-PULLBACK
S AN
D BISIMULATION
S I
N CATEGORIE
S OF STOCHASTI
C RELATION
S . . 99
6
ERNST-ERICH DOBERKAT
QUANTITATIV
E ANALYSI
S OF PROBABILISTI
C LOSS
Y CHANNE
L SYSTEM
S 100
8
ALEXANDER RABINOVICH
DISCOUNTIN
G TH
E FUTUR
E I
N SYSTEM
S THEOR
Y 102
2
LUCA DE ALFARO, THOMAS A. HENZINGER, RUPAK MAJURADAR
INFORMATIO
N FLO
W I
N CONCURREN
T GAME
S 103
8
LUCA DE ALFARO, MARCO FAELLA
SAMPLIN
G AN
D RANDOMNES
S
IMPAC
T OF LOCA
L TOPOLOGICA
L INFORMATIO
N O
N RANDO
M WALK
S O
N
FINIT
E GRAPH
S 105
4
SATOSHI IKEDA, IZUMI KUBO, NORIHIRO OKUMOTO, MASAFUMI YAMASHITA
ANALYSI
S OF A SIMPL
E EVOLUTIONAR
Y ALGORITH
M FOR MINIMIZATIO
N I
N
EUCLIDEA
N SPACE
S 106
8
JENS JAEGERSKUEPPER
OPTIMA
L CODIN
G AN
D SAMPLIN
G OF TRIANGULATION
S 108
0
DOMINIQUE POULALHON, GILLES SCHAEFFER
GENERATIN
G LABELE
D PLANA
R GRAPH
S UNIFORML
Y A
T RANDO
M 109
5
MANUEL BODIRSKY, CLEMENS GROEPL, MIHYUN KANG
SCHEDULIN
G
ONLIN
E LOA
D BALANCIN
G MAD
E SIMPLE
: GREED
Y STRIKE
S BAC
K 110
8
PILU CRESCENZI, GIORGIO GAMBOSI, GAIA NICOSIA, PAOLO PENNA,
WALTER UNGER
REAL-TIM
E SCHEDULIN
G WIT
H A BUDGE
T 112
3
JOSEPH NAOR, HADAS SHACHNAI, TAMI TAMIR
XVIII TABLE OF CONTENTS
IMPROVED APPROXIMATIO
N ALGORITHM
S FOR MINIMUM-SPAC
E ADVERTISEMEN
T
SCHEDULING 2138
BRIAN C. DEAN, MICHEL X. GOEMANS
ANYCASTIN
G IN ADVERSARIA
L SYSTEMS
: ROUTIN
G AN
D ADMISSION CONTRO
L 1153
BARUCH AWERBUCH, ANDRE BRINKMANN, CHRISTIAN SCHEIDEIER
GEOMETRI
E PROBLEM
S
DYNAMI
C ALGORITHM
S FOR APPROXIMATIN
G INTERDISTANCE
S 1169
SERGEI BESPAMYATNIKH, MICHAEL SEGAL
SOLVING TH
E ROBOT
S GATHERIN
G PROBLE
M HG
L
MARK CIELIEBAK, PAOLA FLOCCHINI, GIUSEPPE PRENCIPE, NICOLA SANTORO
AUTHO
R INDE
X 11
Q7 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV017304481 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)52557967 (DE-599)BVBBV017304481 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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">BV017304481</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030721</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030708s2003 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967965721</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540404937</subfield><subfield code="9">3-540-40493-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52557967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017304481</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-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, Languages and Programming</subfield><subfield code="b">30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings</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">XVIII, 1199 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">2719</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Abstracte automaten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmes - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</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">2003</subfield><subfield code="z">Eindhoven</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">Baeten, Josephus C. M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">30</subfield><subfield code="d">2003</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10059275-2</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">2719</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2719</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=010430162&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-010430162</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Eindhoven gnd-content |
| genre_facet | Konferenzschrift 2003 Eindhoven |
| id | DE-604.BV017304481 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:27Z |
| institution | BVB |
| institution_GND | (DE-588)10059275-2 |
| isbn | 3540404937 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010430162 |
| oclc_num | 52557967 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-11 DE-188 DE-706 |
| physical | XVIII, 1199 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings Berlin u.a. Springer 2003 XVIII, 1199 S. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 2719 Abstracte automaten gtt Algorithmes - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Programmation (Informatique) - Congrès Programmeertalen gtt Computer algorithms Congresses Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Eindhoven gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Baeten, Josephus C. M. Sonstige oth ICALP 30 2003 Eindhoven Sonstige (DE-588)10059275-2 oth Lecture Notes in Computer Science 2719 (DE-604)BV000000607 2719 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010430162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings Lecture Notes in Computer Science Abstracte automaten gtt Algorithmes - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Programmation (Informatique) - Congrès Programmeertalen gtt Computer algorithms Congresses Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_auth | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_exact_search | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_full | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_fullStr | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_full_unstemmed | Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| title_short | Automata, Languages and Programming |
| title_sort | automata languages and programming 30th international colloquium icalp 2003 eindhoven the netherlands june 30 july 4 2003 proceedings |
| title_sub | 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 ; proceedings |
| topic | Abstracte automaten gtt Algorithmes - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Programmation (Informatique) - Congrès Programmeertalen gtt Computer algorithms Congresses Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Abstracte automaten Algorithmes - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Programmation (Informatique) - Congrès Programmeertalen Computer algorithms Congresses Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik Konferenzschrift 2003 Eindhoven |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010430162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT baetenjosephuscm automatalanguagesandprogramming30thinternationalcolloquiumicalp2003eindhoventhenetherlandsjune30july42003proceedings AT icalpeindhoven automatalanguagesandprogramming30thinternationalcolloquiumicalp2003eindhoventhenetherlandsjune30july42003proceedings |