Proceedings:
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1991
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | XI, 824 S. |
ISBN: | 0818624450 0818624469 0818624477 |
ISSN: | 0272-5428 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV005981119 | ||
003 | DE-604 | ||
007 | t| | ||
008 | 930119s1991 xx |||| 10||| engod | ||
020 | |a 0818624450 |9 0-8186-2445-0 | ||
020 | |a 0818624469 |9 0-8186-2446-9 | ||
020 | |a 0818624477 |9 0-8186-2447-7 | ||
022 | |a 0272-5428 |2 6 | ||
035 | |a (OCoLC)256575964 | ||
035 | |a (DE-599)BVBBV005981119 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-91G |a DE-83 |a DE-188 |a DE-706 | ||
084 | |a DAT 001f |2 stub | ||
111 | 2 | |a Symposium on Foundations of Computer Science |n 32 |d 1991 |c San Juan, Puerto Rico |j Verfasser |0 (DE-588)3013218-6 |4 aut | |
245 | 1 | 0 | |a Proceedings |c 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991 |
264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1991 | |
300 | |a XI, 824 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Literaturangaben | ||
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z San Juan Puerto Rico |2 gnd-content | |
689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003755810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003755810 |
Datensatz im Suchindex
_version_ | 1820868103480803328 |
---|---|
adam_text |
Table of Contents
Foreword
.
v
Conference Organization
.vi
Machtey Award
.vi
Industrial Sponsors
.vi
Wednesday, October
2
Session IA
Approximating Clique is Almost NP-Complete
.2
U.
Feige,
S.
Goldwasser,
L.
Lovász,
S.
Safra,
and M.
Szegedy
Fully Parallelized
Multi
Prover
Protocols for
NEXP-Time.13
D.
Lapidat
and A. Shamir
Languages That Are Easier Than Their Proofs
.19
R. Beigel, M.
Bellore,
J.
Feigenbaum,
and
S.
Goldwasser
Session m
An Optimal
Convex Hull Algorithm and New Results on Cuttings
.29
B. Chazelle
The Art Gallery Theorem for Polygons with Holes
.39
F. Hoffmann, M.
Kaufmann,
and
К.
Kriegel
Fat Triangles Determine Linearly Many Holes
.
A9
J.
Matoušek,
N.
Miller,
J. Pach,
M. Sharir, M. Sifrony, and
E. Welzl
Session
ПА
Quantifying
Knowledge
Complexity.
59
О.
Goldreich and
E.
Petránk
Subquadratic Zero-Knowledge
.69
J.
Boyar,
G. Brassard,
and R.
Peralta
Simulating
ВРР
Using a General Weak Random Source
.79
D. Zuckerman
Checking the Correctness of Memories
.90
M. Blum, W. Evans, P. Gemmell, S.
Kannan,
and
M. Naor
Session IIB
On-line Scheduling in the Presence of Overload
. .100
5.
Baruah,
G. Koren,
В.
Mishra, A. Raghunathan, L. Rosier, andD. Shasha
Dynamic Scheduling on Parallel Machines
.
Ill
A.
Feldmann,
J.
Sgoli,
and
S.-H.
Teng
Optimal Prefetching via Data Compression
.121
J.
S.
Vitter
and P.
Krishnan
Scheduling Parallel Machines on-Line
.131
DM. Shmoys, J.
Wein,
and
DF.
Williamson
Session
ША
Concentrated Regular Data Streams on Grids: Sorting and Routing Near to the Bisection Bound
. 141
M.Kunde
VII
Communicatìon
Complexity for Parallel Divide-and-Conquer
.151
I.-C.Wu and H.T.
Kung
On Selecting A Satisfying Truth Assignment
. . .163
CH.
Papadimitriou
Exact Learning of Read-Twice DNF Formulas
.170
H. Aizenstein and L. Pitt
Session
ІІШ
Randomized Multidimensional Search Trees: Lazy Balancing and Dynamic Shuffling
.180
K. Mulmuley
Dynamic Maintenance of Geometric Structures Made Easy
. . .197
O. Schwarzkopf
Reporting Points in
Half spaces.207
J.
Matoušek
Randomized Multidimensional Search Trees: Further Results in Dynamic Sampling
.216
K. Mulmuley
Session
IVA
Interactive Communication: Balanced Distributions, Correlated Files, and
Average-Case Complexity
.228
A. Orlitsky
Amortized Communication Complexity
.239
T.
Feder,
E.
Kushilevitz, and M. Naor
Communication Complexity Towards Lower Bounds on Circuit Depth
. .249
J. Edmonds, S. Rudich, R. Impagliazzo, andJ.
S
gall
Session IVB
Distributed Program Checking: A Paradigm for Building Self-Stabilizing Distributed Protocols
. . .258
B. Awerbuch and
G. Varghese
Self-Stabilization by Local Checking and Correction
.268
B. Awerbuch, B. Patt-Shamir, and
G. Varghese
An Asynchronous Two-Dimensional Self-Correcting Cellular Automaton
.278
W. Wang
Thursday, October
3
Session IA
Competitive Algorithms for Layered Graph Traversal
.288
A. Fiat, DJ>. Foster, H. Karloff, Y.
Rąbani,
and Y. Ravid
How to Learn an Unknown Environment
. .298
X. Deng, T. Kameda, and
СЛ.
Papadimitriou
Walking an Unknown Street with Bounded Detour
.304
R. Klein
Session IB
Better Bounds for Threshold Formulas
. .314
J. Radhakrishnan
Shrinkage of
de
Morgan Formulae Under Restriction
. 324
MS. Paterson and U. Zwick
V1U
Size-Depth Tradeoffs for Algebraic Formulae
. 334
ΝΉ.
Bshouty,
R. Cieve,
and W. Eberly
Session
ПА
A New Characterization of Mehlhorn's Polynomial Time Functionals
.342
B.
Kapron
and
SA.
Cook
A Theory of Using History for Equational Systems with Applications
.348
R.M. Verma
Progress Measures for Complementation of
co-
Automata with Applications to Temporal Logic
. 358
N.
Klarlund
Tree Automata, Mu-Calculus and Determinacy
.368
E
A. Emerson and
CS.
Jutla
Session
ПВ
Lower Bounds for Polynomial Evaluation and Interpolation Problems
.378
V. Shoup andR. Smolensky
Efficient Exponentiation in Finite Fields
.384
J.
von zur
Gathen
Explicit Construction of Natural Bounded Concentrators
.392
M
. Morgenstern
Better Expansion for Ramanujan Graphs
.398
N.
Kahale
Session
ΠΙΑ
A General Approach to Removing Degeneracies
.405
I
.
Emiris and J. Canny
A Quadratic Time Algorithm for the MinMax Length
Triangulation.414
Η.
Edelsbrunner and T.S. Tan
Discrepancy and
ε
-Approximations for Bounded VC-Dimension
.424
J.
Matoušek,
E.
Weki,
and
L.
Wernisch
On Better Heuristic for Euclidean
Steiner
Minimum Trees
.431
D.-Z.
Du, Y.
Zhang, and Q. Feng
Session IIIB
Asymptotically Optimal PRAM Emulation on Faulty Hypercubes
. .440
Y. Aumann andM. Ben-Or
Fault-Tolerant Computation in the Full Information Model
.447
0.
Goldreich, S. Goldwasser,
and
N.
Liniai
Highly Fault-Tolerant Sorting Circuits
.458
T. Leighton, Y. Ma,
and
CG. Plaxton
Efficient Algorithms for Dynamic Allocation of Distributed Memory
.470
Γ.
Leighton and EJ.
Schwabe
Session
IVA
Polynomial Algorithms for LP Over
a Subring
of the Algebraic Integers with Applications to
LP with
Circulant
Matrices
.,480
1.
Adler
and
P
A. Beting
Dynamic Three-Dimensional Linear Programming
.488
D. Eppstein
Fast Approximation Algorithms for Fractional Packing and Covering Problems
.495
SA. Piotkin,
DB.
Shmoys, and E.
Tardos
Session IVB
The Maintenance of Common Data in a Distributed System
.
SOS
B. Awerbuch andLJ. Schulman
Optimal File Sharing in Distributed Networks
.515
M. Naor and
RM.
Roth
Low Contention Linearizable Counting
.526
M. Herlihy,
N.
Shovit,
and
0.
Waarts
Friday, October
4
Session IA
A Unified Geometric Approach to Graph Separators
.538
GL. Miller, S.-H.
Teng,
and
SA.
Vavasis
A Linear Time Algorithm for Triconnectivity Augmentation
.548
T.-S. Hsu and V. Ramachandran
Finding the Hidden Path: Time Bounds for All-Pairs Shortest Paths
.560
DM.
Karger,
D.
Koller,
and
SJ.
Phillips
On me Exponent of the All Pairs Shortest Path Problem
.·.569
N.
Alon,
Z. Galii,
and
0.
Margalit
Session
m
Search Problems in the Decision Tree Model
.576
L.
Lovász,
I. Newman, and A. Wigderson
AParallel Algorithmic Version of the Local Lemma
.586
N.Alon
Lower Bounds for the Complexity of Reliable Boolean Circuits with Noisy Gates
.594
A. Gál
Reliable Computation with Noisy Circuits and Decision
Trees
-А
General
η
log
л
Lower Bound
. . . 602
R. ReischukandB. Schmeltz
Session
па
A Lower Bound for the Dictionary Problem Under a Hashing Model
.612
R.Sundar
Lower Bounds for Data Structure Problems on RAMs
.622
AM. Ben-Amram and
Z. Galii
Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and* Smallest Spanning Trees
. . . .632
G
H. Frederickson
Faster Uniquely Represented Dictionaries
.642
A. Andersson
and T.
Ottmann
Session
ПВ
On the Complexity of Computing the Homology Type of
a Triangulation
.
j650
B.R. Donald and DM. Chang
An Approximation Algorithm for the Number of Zeros of Arbitrary Polynomials Over GF[q]
. 662
D. Grigoriev and M. KarpinsU
Computing
Sums of Radicals in Polynomial Time
.670
/. Blömer
Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve
. . .678
AÍ.-D.
Huang andD. Ierardi
Session
ΠΙΑ
Connected Components in 0Og3/2M) Parallel Time for the CREW PRAM
.688
D£. Johnson and P. Metaxas
Towards a Theory of Nearly Constant Time Parallel Algorithms
.698
J.
Gil, Y. Matías,
and U. Vishkin
Using Approximation Algorithms to Design Parallel Algorithms That May Ignore
Processor Allocation
.711
M.T. Goodrich
A Deterministic
РаглМ
Algorithm for Planar Graphs Isomorphism
.723
H. Gazit
Session
ПШ
Approximate Representation Theory of Finite Groups
.733
L.
Babai
and K. Friedl
Finding k-Cuts Within Twice the Optimal
.743
H.
Sar
an and V.V. Vazirani
How to Pack Better Than Best Fit: Tight Bounds for Average-Case On-Line Bin Packing
.752
P.W. Shor
Adaptive Dictionary Matching
.760
A. Amir and M.
Farach
Session
iva
On the Computational Power of Sigmoid Versus Boolean Threshold Circuits
.767
W. Maass, G. Schnitger, and ED.
Sontag
Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having
Symmetric Gates with Unbounded Fan-In
.777
M.
Krause
and S. Waack
OnACC
.783
R.BeigelandJ.Tarui
Session IVB
On-Line Maintenance of the Four-Connected Components of a Graph
.793
A. Kanevsky, R. Tamassia, G.
Di Battuta,
and
J.
Chen
Computing Planar Intertwines
.802
A. Gupta andR. Impagliazzo
Applications of
a Poset
Representation to Edge Connectivity and Graph Rigidity
.812
НЉ
Gabow
Author Index
.823
Xl
Author Index
Adler.1
.480
Aizenstein,
H
.170
ΑΙοη,Ν.
569,586
Amir, A
.760
Andersson,
A
.642
Aumann,
Y
.440
Awerbuch,
В
.258,268,505
Babai,L
.733
Baruah,
S
.100
Beigel,R
.19,783
Beling,P.A
.480
Bellare,
M
.19
Ben-Amram, A.M
.622
Ben-Or, M
.440
Blömer.J.
670
Blum.M
.90
Boyar,
J.
69
Brassard,
G
.69
Bshouty.RH.
.334
Canny,
J.
,405
Chang,
D
JR.
650
Chazelle,B
.29
Chen,
H.
793
Cleve.R
.334
Cook, S.A
.342
Deng,X
.298
DiBattsita,G
.793
Donald, B.R.
.650
Du, D.-Z
.431
Eberly.W
.334
Edelsbranner, H.
.414
Edmonds,
J
.249
Emerson, E.A.
.368
Emiris, I
.405
Eppstein,
D
.488
Evans, W.
.90
Farach,
M.
760
Feder,
T.
.239
Feige,
U.
.2
Feigenbaum, J. 19
Feldmann,
A
.
Ill
Feng,
Q.
.431
Fiat,
Α.
.288
Foster, DP
.288
Frederickson.G.N
.
j632
Friedl,K.
.733
Gabow.HLN
., . .812
Gál,
A.
. . 594
Galil,Z
.569,622
Gazit,
Η.,
. .723
Gemmell,?.
.90
GilJ
.698
Goldreich,
0.
59,447
Goldwasser,
S
.2,19,447
Goodrich, M.T
.711
Grigoriev,
D
.662
Gupta, A
.802
Herlihy, M
.526
Hoffmann, F
.39
HSU.T.-S
.548
Huang, M.-D
.678
Ierardi,
D
.678
Impagliazzo.R
.249,802
Johnson, D.B
.688
Juüa,
CS.
368
Kanale,
N.398
Kameda, T
.298
Kanevsky, A
.793
Kannan,
S
.90
Kapron,
B
.342
Karger, DJR.560
Karloff,H
.288
Karpinski, M
.662
Kaufmann,
M
.39
Klarlund,N
.358
Klein,R
.304
Koller.D
.560
Koren, G
.100
Krause,
M.
. .777
Kriegel,
K.
.39
Krishnan, P
.121
Kunde,M
.141
Kung,H.T
.151
Kushilevitz,E
.239
Lapidot, D
.13
Leighton,T
. .458,470
Linial,N
. 447
Lovász,
L
.2,576
Ma, Y.
.458
Maass.W.
. . .767
Margalit, O
.569
Matías, Y
.698
Matousek,J
.49,207,424
Metaxas,P.
.688
Miller, CL.
.538
Mffler.N.
.49
Mishra,B
.100
Morgensfön,
M
.392
Mulmuley.K
.180,216
Naor.M
.90,239,515
Newman, 1
.576
Grlitsky, A
.228
B23
Ottmann,
Τ
.642
PachJ
.49
Papadimitrou,
CH
.163,298
Paterson.M.S.324
Patt-Shamir,
В
.268
Peralla,
R.
.
j69
Petrank,
E.
59
Phiilips,SJ
.560
Pitt,
L.
170
Plaxton,C.G
.458
Plotìdn, S.A
.495
Rąbani,
Y
.288
Radhakrishnan, J
.314
Raghunathan,
Α.
.100
Ramachandran,
V
.548
Ravid,Y
.288
Reischuk, R
.602
Rosier.L.
.100
Rołn,R.M
.¿15
Rudich, S
.249
Safia,S
.2
Saran,H.
.,743
Schmeta, B
.602
Scimitger, G
.767
Schulman, LJ
.505
Schwabe,EJ
.470
Schwarzkopf,
0
.197
ŠgalU
.111,249
Shamir, A.
.13
Shatfr.M.
.49
Shasha, D
.100
Shavit,N.
.526
Shmoys,D.B
.131,495
Shor.P.W
.752
Shoup, V
.378
Siftony, M
.49
Smolensky.R
.378
Sontag,
E.D
.767
Sundar.R
.612
Szegedy, M
.2
Tamassia, R
.793
Tan,T.S
.414
Tardos.E
.495
Tarai,
J
.783
Teng.S.-H
.111,538
Vaighese,G
.258,268
Vavasis, S.A
.538
Vazirani, V. V
.743
Verna,
R.M
.348
Vishkin,U
.698
Via-,J.S
.121
von zur
Gathen,
J
.384
Waack, S
.777
Waarts,0
.526
Wang,
W.
278
Wein,
J
.131
Welzl,E
.49,424
Wernisch,L
.424
Wigderson, A
.576
Williamson, D.P
.131
Wu, I.-C
.151
Zhang,
Y
.431
Zuckerman, D
.79
Zwick, U
.324
824 |
any_adam_object | 1 |
author_corporate | Symposium on Foundations of Computer Science San Juan, Puerto Rico |
author_corporate_role | aut |
author_facet | Symposium on Foundations of Computer Science San Juan, Puerto Rico |
author_sort | Symposium on Foundations of Computer Science San Juan, Puerto Rico |
building | Verbundindex |
bvnumber | BV005981119 |
classification_rvk | SS 1991 |
classification_tum | DAT 001f |
ctrlnum | (OCoLC)256575964 (DE-599)BVBBV005981119 |
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 c 4500</leader><controlfield tag="001">BV005981119</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930119s1991 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818624450</subfield><subfield code="9">0-8186-2445-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818624469</subfield><subfield code="9">0-8186-2446-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818624477</subfield><subfield code="9">0-8186-2447-7</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">0272-5428</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)256575964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005981119</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Foundations of Computer Science</subfield><subfield code="n">32</subfield><subfield code="d">1991</subfield><subfield code="c">San Juan, Puerto Rico</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3013218-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="c">32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 824 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="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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">1991</subfield><subfield code="z">San Juan Puerto Rico</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=003755810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003755810</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1991 San Juan Puerto Rico gnd-content |
genre_facet | Konferenzschrift 1991 San Juan Puerto Rico |
id | DE-604.BV005981119 |
illustrated | Not Illustrated |
indexdate | 2025-01-10T13:19:02Z |
institution | BVB |
institution_GND | (DE-588)3013218-6 |
isbn | 0818624450 0818624469 0818624477 |
issn | 0272-5428 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003755810 |
oclc_num | 256575964 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-83 DE-188 DE-706 |
owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-83 DE-188 DE-706 |
physical | XI, 824 S. |
publishDate | 1991 |
publishDateSearch | 1991 |
publishDateSort | 1991 |
publisher | IEEE Computer Soc. Press |
record_format | marc |
spelling | Symposium on Foundations of Computer Science 32 1991 San Juan, Puerto Rico Verfasser (DE-588)3013218-6 aut Proceedings 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991 Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1991 XI, 824 S. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 San Juan Puerto Rico gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s 1\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003755810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Proceedings Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)1071861417 |
title | Proceedings |
title_auth | Proceedings |
title_exact_search | Proceedings |
title_full | Proceedings 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991 |
title_fullStr | Proceedings 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991 |
title_full_unstemmed | Proceedings 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1 - 4, 1991 |
title_short | Proceedings |
title_sort | proceedings |
topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
topic_facet | Theoretische Informatik Informatik Konferenzschrift 1991 San Juan Puerto Rico |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003755810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT symposiumonfoundationsofcomputersciencesanjuanpuertorico proceedings |