35th annual Symposium on Foundations of Computer Science: Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, California ; Washington ; Brussels ; Tokyo
IEEE Computer Society Press
[1994]
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | xiii, 837 Seiten Illustrationen, Diagramme |
| ISBN: | 0818665807 0818665823 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010176341 | ||
| 003 | DE-604 | ||
| 005 | 20250219 | ||
| 007 | t| | ||
| 008 | 950510s1994 xx a||| |||| 10||| eng d | ||
| 020 | |a 0818665807 |c paperback |9 0-8186-6580-7 | ||
| 020 | |a 0818665823 |c hardcover |9 0-8186-6582-3 | ||
| 035 | |a (OCoLC)180621031 | ||
| 035 | |a (DE-599)BVBBV010176341 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-739 |a DE-91G |a DE-634 |a DE-83 |a DE-20 |a DE-188 |a DE-706 |a DE-11 | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a Symposium on Foundations of Computer Science |n 35 |d 1994 |c Santa Fe, NM |j Verfasser |0 (DE-588)3024761-5 |4 aut | |
| 245 | 1 | 0 | |a 35th annual Symposium on Foundations of Computer Science |b Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico |c edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing |
| 246 | 1 | 3 | |a 1994 IEEE 35th symposium on foundations of computer science |
| 264 | 1 | |a Los Alamitos, California ; Washington ; Brussels ; Tokyo |b IEEE Computer Society Press |c [1994] | |
| 264 | 4 | |c © 1994 | |
| 300 | |a xiii, 837 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 1994 |z Santa Fe NM |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 | |5 DE-604 | |
| 700 | 1 | |a Goldwasser, Shafi |d 1958- |0 (DE-588)1207166243 |4 edt | |
| 710 | 2 | |a IEEE Computer Society |b Technical Committee on Mathematical Foundations of Computing |0 (DE-588)212655-2 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Mikrofiche |z 0-8186-6581-5 |
| 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=006759050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006759050 | |
Datensatz im Suchindex
| _version_ | 1824508681293660160 |
|---|---|
| adam_text |
Table
of
Contents
Preface
.xi
Referees
.xii
Committees
.xiii
Sunday Session
IA:
Chair: L.
Lovász
Approximate Graph Coloring by
Semidefinite
Programming
.2
D.
Karger,
R.
Motwani, and
M.
Sudan
Finding Separator Cuts in Planar Graphs Within
Twice the Optimal
.14
N.
Garg, H. Saran, and V.V. Vazirani
Polynomial Time Randomized Approximation Schemes for
the
Tutte
Polynomial of Dense Graphs
.24
N.
Mon,
A. Frieze, and D. Welsh
A Note on the
θ
Number of
Lovász
and the
Generalized
Delsarte
Bound
.36
M. Szegedy
Sunday Session IB:
Chain A. Blum
An Efficient Membership-Query Algorithm for Learning
DNF with Respect to the Uniform Distribution
.42
J. Jackson
On Learning Discretized Geometric Concepts
.54
N.H. Bshouty, Z. Chen, and S. Homer
PAC
Learning with Irrelevant Attributes
.64
A. Dhagat and L.
Hellerstein
The Power of Team Exploration: Two Robots Can
Learn Unlabeled Directed Graphs
.75
M.A. Bender and O.K. Slonim
Plenary Session
Chair: M. Yannakakis
Algorithmic Number Theory
—
The Complexity Contribution
.88
L.M. Adleman
Sunday Session 2A:
Chair: V. Shoup
On the Power of Quantum Computation
.116
D.R. Simon
Algorithms for Quantum Computation: Discrete
Logarithms and Factoring
.124
P.W. Shor
The Complexity of the Membership Problem for 2-Generated
Commutative Semigroups of Rational Matrices
.135
J.-Y.
Cai,
R. J.
Lipton, and
Y. Zalcstein
Efficient Average-Case Algorithms for the Modular Group
.143
J.-Y.
Cai,
W.H.
Fuchs, D.
Kozen,
and
Z.
Liu
Chain
E.
Tardos
Finding the A Shortest Paths
.154
D. Eppstein
Long Tours and Short Superstrings
.166
S.R. Kosaraju, J.K. Park, and C. Stein
Maximum (s,t)
—
Flows in Planar Networks in
0(|V|log|V|)Time.
178
K.
Weihe
Estimating the Size of the Transitive
Closure in Linear Time
.190
E. Cohen
I Sunday Session
ЗА:
Chair: F. Meyer
auf 'der Heide
Rapid Rumor Ramification: Approximating
the Minimum Broadcast Time
.202
R. Ravi
The Load, Capacity and Availability of Quorum Systems
.214
M. Naor and A. Wool
Fast and Lean Self-Stabilizing Asynchronous Protocols
.226
G. Itkis and L. Levin
Local Optimization of Global Objectives: Competitive
Distributed Deadlock Resolution and Resource Allocation
.240
B. Awerbuch and
Y. Azar
Sunday Session 3B:
Chair: A. Condon
(De)randomized Construction of Small Sample Spaces inNC
.252
D.R.
Karger
and D.
Koller
Computing with Very Weak Random Sources
.264
A Srinivasan and D. Zuckerman
Randomness-Efficient Oblivious Sampling
.276
M.
Bellore
and J.
Rompei
On the Robustness of Functional Equations
.288
R.
Rubinfeld
VI
Monday
Session
IA:
Chair: J.
Hastad
A Lower Bound for the Monotone Depth of Connectivity
.302
AC.-C. Yao
Efficient Oblivious Branching Programs for Threshold Functions
.309
R.K. Sinha and J.S. Thathachar
Products and Help Bits in Decision Trees
.318
N.
Nisan, S. Rudich, and M. Saks
On Rank vs. Communication Complexity
.831
N.
Nisan and A. Wigderson
I Monday Session IB:
Chair: S. Rao
On the Design of Reliable Boolean Circuits that
Contain Partially Unreliable Gates
.332
D. Kleitman, T. Leighton, and
Y. Ma
Nearly Tight Bounds for
Wormhole
Routing
.347
A. Rånade,
S.
Schleimer,
and
D.S. Wilkerson
Scheduling Multithreaded Computations by Work Stealing
.356
R.D. Blumofe and C.E. Leiserson
Fast and Feasible Periodic Sorting Networks of Constant Depth
.369
M. Kutylowski, B. Oesterdiekhoff, K. Lorys, and R. Wanka
Plenary Session
Chair: S.
Goldwasser
Program Result-Checking: A Theory of Testing Meets a Test of Theory
.382
M. Blum and H.
Wasserman
j
Monday Session 2A:
Chair: H. Karloff
Beyond Competitive Analysis
.394
E. Koutsoupias and C.H. Papadimitriou
A Theory of Competitive Analysis for Distributed Algorithms
.401
M. Ajtai, J. Aspnes, C. Dwork, and O. Waarts
On-line Admission Control and Circuit Routing
for High Performance Computing and Communication
.412
B. Awerbuch, R. Gawlick, T. Leighton, and Y.
Rąbani
IP Over Connection-Oriented Networks and Distributional Paging
.424
C. Lund, S. Phillips, and
N. Reingold
Monday Session 2B:
Chair: O.
Goldreich
CS
(Computationally-Sound) Proofs
.436
S.
Micali
vu
On Monotone Formula Closure of SZK
.454
A. De
Santis, G.
Di Crescenza,
G.
Persiano, and
M.
Yung
On
the Complexity of Bounded-Interaction
and Noninteractive Zero-Knowledge Proofs
.466
J.
Kilián
Reducibility and Completeness in Multi-Party Private Computations
.478
E. Kushilevitz, S.
Micali,
and R.
Ostrovsky
| Monday Session
ЗА:
_
|
Chain M. Yanndkakis
"Go With the Winners" Algorithms
.492
D. Aldous and U. Vazirani
Randomized Simplex Algorithms on Klee-Minty Cubes
.502
B. Gartner and G.M. Ziegler
Motion Planning on a Graph
.511
C.H. Papadimitriou, P. Raghavan, M. Sudan, and H. Tamaki
The Localization Problem for Mobile Robots
.521
J.M.
Kleinberg
Monday Session 3B:
Chair: V. Shoup
Algebraic Computation Trees in Characteristic
ρ >0
.534
M. Ben-Or
An
Ο(ηι+ε
logb) Algorithm for the Complex Roots Problem
.540
C.A. Neffand J.H.
Reif
Complexity Lower Bounds for Computation Trees
with Elementary Transcendental Function Gates
.548
D. Grigoriev and
N.
Vorobjov
On the Computation of Boolean Functions by Analog
Circuits of Bounded Fan-In
.553
G.
Turan
and F. Vatan
j
Tuesday Session 1A:
Chair: L.
Lovász
Expander Codes
.566
M. Sipser and D.A. Spielman
The Geometry of Graphs and Some of Its Algorithmic Applications
.577
N.
Liniai,
E.
London, and Y. Rabinovich
Tail Bounds for Occupancy and the Satisfiability
Threshold Conjecture
.592
A Kamath, R. Motwani, K.
Palem,
and P. Spirakis
Priority Encoding Transmission
.604
A Albanese,
J.
Blâmer,
J.
Edmonds,
M. Luby, and M.
Sudan
vni
I Tuesday
Session
IB;
Chair: M. Vardi
Graph Connectivity and Monadic NP
.614
T. Schwentick
A Polynomial-Time Algorithm for Deciding
Equivalence of Normed Context-Free Processes
.623
Y. Hirshfeld, M. Jerrum, and
F. Möller
On the Combinatorial and Algebraic Complexity
of Quantifier Elimination
.632
S. Basu, R.
Pollack, and M.-F. Roy
Set Constraints with Projections are in NEXPTIME
.642
W. Charatonik and L. Pacholski
on
_■_
I
Chair: L.
Lovász
Markov Chains and Polynomial Time Algorithms
.656
R.
Kannan
| Tuesday Session 2A:
Chair: R.
Seidel
A Spectral Approach to Lower Bounds
.674
B. Chazelle
Parallel Algorithms for Higher-Dimensional Convex Hulls
.683
N.M.
Amato,
M.T. Goodrich, and E.A. Ramos
More Output-Sensitive Geometric Algorithms
.695
K.L.
Clarkson
Randomized and Deterministic Algorithms
for Geometric Spanners of Small Diameter
.703
S. Arya,
D.M.
Mount, and M.
Smid
| Tuesday Session 2B:
Chair: S. Rao
A New Efficient Radix Sort
.714
A. Andersson
and S.
Nilsson
Multi-Index Hashing for Information Retrieval
.722
D. Greene, M.
Parnas,
and F. Yao
Optimizing Static Calendar Queues
.732
K.B. Erickson, R.E. Ladner,
and A. LaMarca
Fully Dynamic Cycle-Equivalence in Graphs
.744
M.
Rauch Henzinger
Tuesday Session
ЗА;
Chair: E.
Tardos
Maximum Agreement Subtree in a Set of Evolutionary
Trees
—
Metrics and Efficient Algorithms
.758
D. Keselman and A. Amir
ix
Optimal
Evolutionary Tree Comparison by Sparse
Dynamic Programming
.770
M.
Farach
and M. Thorup
Tractability of Parameterized Completion Problems on
Chordal and Interval Graphs: Minimum Fill-In and Physical Mapping
.780
H. Kaplan, R. Shamir, and R.E.
Tarjan
Chair: A. Condon
Lower Bounds on Hubert's
Nullstellensatz
and Propositional Proofs
.794
P.
Bearne,
R. Impagliazzo, J. Krajíček,
T. Pitassi, and P.
Pudlák
Measure on Small Complexity
Classes,
with
Applications for BPP
.807
E. Allender and
M. Strauss
On
Syntactic
versus
Computational Views of
Approximability
.819
S. Khanna, R. Motivant,
M.
Sudan, and U.
Vazirani
Author
Index
.837 |
| any_adam_object | 1 |
| author2 | Goldwasser, Shafi 1958- |
| author2_role | edt |
| author2_variant | s g sg |
| author_GND | (DE-588)1207166243 |
| author_corporate | Symposium on Foundations of Computer Science Santa Fe, NM |
| author_corporate_role | aut |
| author_facet | Symposium on Foundations of Computer Science Santa Fe, NM Goldwasser, Shafi 1958- |
| author_sort | Symposium on Foundations of Computer Science Santa Fe, NM |
| building | Verbundindex |
| bvnumber | BV010176341 |
| classification_rvk | SS 1993 SS 1994 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)180621031 (DE-599)BVBBV010176341 |
| 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">BV010176341</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250219</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950510s1994 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818665807</subfield><subfield code="c">paperback</subfield><subfield code="9">0-8186-6580-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818665823</subfield><subfield code="c">hardcover</subfield><subfield code="9">0-8186-6582-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180621031</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010176341</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</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">Symposium on Foundations of Computer Science</subfield><subfield code="n">35</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Fe, NM</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3024761-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">35th annual Symposium on Foundations of Computer Science</subfield><subfield code="b">Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico</subfield><subfield code="c">edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">1994 IEEE 35th symposium on foundations of computer science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, California ; Washington ; Brussels ; Tokyo</subfield><subfield code="b">IEEE Computer Society Press</subfield><subfield code="c">[1994]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 837 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="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">1994</subfield><subfield code="z">Santa Fe NM</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goldwasser, Shafi</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)1207166243</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IEEE Computer Society</subfield><subfield code="b">Technical Committee on Mathematical Foundations of Computing</subfield><subfield code="0">(DE-588)212655-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Mikrofiche</subfield><subfield code="z">0-8186-6581-5</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=006759050&sequence=000002&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-006759050</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Santa Fe NM gnd-content |
| genre_facet | Konferenzschrift 1994 Santa Fe NM |
| id | DE-604.BV010176341 |
| illustrated | Illustrated |
| indexdate | 2025-02-19T17:44:29Z |
| institution | BVB |
| institution_GND | (DE-588)3024761-5 (DE-588)212655-2 |
| isbn | 0818665807 0818665823 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006759050 |
| oclc_num | 180621031 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-91G DE-BY-TUM DE-634 DE-83 DE-20 DE-188 DE-706 DE-11 |
| owner_facet | DE-29T DE-739 DE-91G DE-BY-TUM DE-634 DE-83 DE-20 DE-188 DE-706 DE-11 |
| physical | xiii, 837 Seiten Illustrationen, Diagramme |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Society Press |
| record_format | marc |
| spelling | Symposium on Foundations of Computer Science 35 1994 Santa Fe, NM Verfasser (DE-588)3024761-5 aut 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing 1994 IEEE 35th symposium on foundations of computer science Los Alamitos, California ; Washington ; Brussels ; Tokyo IEEE Computer Society Press [1994] © 1994 xiii, 837 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Santa Fe NM gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Goldwasser, Shafi 1958- (DE-588)1207166243 edt IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (DE-588)212655-2 oth Erscheint auch als Mikrofiche 0-8186-6581-5 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006759050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico 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 | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico |
| title_alt | 1994 IEEE 35th symposium on foundations of computer science |
| title_auth | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico |
| title_exact_search | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico |
| title_full | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing |
| title_fullStr | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing |
| title_full_unstemmed | 35th annual Symposium on Foundations of Computer Science Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing |
| title_short | 35th annual Symposium on Foundations of Computer Science |
| title_sort | 35th annual symposium on foundations of computer science proceedings november 20 22 1994 santa fe new mexico |
| title_sub | Proceedings ; November 20 - 22, 1994, Santa Fe, New Mexico |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 1994 Santa Fe NM |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006759050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonfoundationsofcomputersciencesantafenm 35thannualsymposiumonfoundationsofcomputerscienceproceedingsnovember20221994santafenewmexico AT goldwassershafi 35thannualsymposiumonfoundationsofcomputerscienceproceedingsnovember20221994santafenewmexico AT ieeecomputersocietytechnicalcommitteeonmathematicalfoundationsofcomputing 35thannualsymposiumonfoundationsofcomputerscienceproceedingsnovember20221994santafenewmexico AT symposiumonfoundationsofcomputersciencesantafenm 1994ieee35thsymposiumonfoundationsofcomputerscience AT goldwassershafi 1994ieee35thsymposiumonfoundationsofcomputerscience AT ieeecomputersocietytechnicalcommitteeonmathematicalfoundationsofcomputing 1994ieee35thsymposiumonfoundationsofcomputerscience |