21st annual Symposium on Foundations of Computer Science: Oct. 13 - 15, 1980, Syracuse, New York
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Inst. of Electrical and Electronics Engineers
1980
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 421 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005600197 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 921021s1980 xx d||| |||| 10||| engod | ||
| 035 | |a (OCoLC)631239018 | ||
| 035 | |a (DE-599)BVBBV005600197 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-634 | ||
| 111 | 2 | |a Symposium on Foundations of Computer Science |n 21 |d 1980 |c Syracuse, NY |j Verfasser |0 (DE-588)818960-2 |4 aut | |
| 245 | 1 | 0 | |a 21st annual Symposium on Foundations of Computer Science |b Oct. 13 - 15, 1980, Syracuse, New York |
| 246 | 1 | 3 | |a Twenty-first annual Symposium on Foundations of Computer Science |
| 264 | 1 | |a New York, NY |b Inst. of Electrical and Electronics Engineers |c 1980 | |
| 300 | |a VI, 421 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1980 |z Syracuse NY |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m KOBV Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003508367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003508367 | |
Datensatz im Suchindex
| _version_ | 1820868400570695680 |
|---|---|
| adam_text |
1980 TWENTY-FIRST ANNUAL SYMPOSIUM ON
FOUNDATIONS OF COMPUTER SCIENCE
SYRACUSE, NEW YORK
OCTOBER 13-15, 1980
TABLE OF CONTENTS Page
Monday, October 15
Session I; m. Garey, Chairman
On Linear Characterizations of Combinatorial Optimization Problems
R. M. Karp and C. H. Papadimitriou. 1
On a Class of Totally Uninodnlar Matrices
M. Yannakakis.10
An 0(\/|v| · |E|) Algorithm for Fixiding Maximum Matching in General Graphs
S. Micali and V. V. Vazirani.17
Some Theorems about Matrix Multiplications
T. C. Hu and M. T. Shing.28
Polynomial-Time Algorithms for Permutation Groups
M. Furst, J. Hopcroft, and E. Luks.36
Isomorphism of Bounded Valence can be Tested in Polynomial Time
E. M. Luks.!j2
A Fast Algorithm for Multiprocessor Scheduling
B. Simons.50
Session 2: A. Selman, Chairman
Sparse Complete Sets for NP: Solution of a Conjecture of Berman and Hartmanis
S. R. Mahaney.3!
A Recognition Algorithm for Deterministic CFLs Optimal in Time and Space
B. yon Braunnuhl and R. Verbeek.61
Efficient Algorithms for Path System Problems and Applications to Alternating Time-Space
Complexity Classes
I. H. Sudborough.¿2
Upper and Lower Bounds for First Order Expressibility
N. Immerman.'jk
The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable
E. M. Gurari. 83
Succinct Representation, Random Strings, and Complexity Classes
G. L. Peterson.86
Tuesday, October 1^
Session 3 : Z. Manna, Chairman
Proofs by induction in Equational Theories with Constructors
G. Huet and J. M. Hullot.96
An Improved Algorithm for Computing with Equations
P· Chew.108
Programs and Types
R. L. Constable.118
Process Logic; Expressiveness, Decidability, Completeness
D. Harel, D. Kozen, and R. Farikh.129
A Linear History Semantics for Distributed Languages
N. Francez, D. J. Lehmann, and A. Pnueli.1^5
The Complexity of Recursion Schemes and Recursive Programming Languages
H. B. Hunt III and D. J. Rosenkrantz.152
On the Expressive Power of Attribute Grammars
B. Courcelle and p. Franchi-Zannettacci. Ifel
Loop Elimination and Loop Reduction - A Model-Theoretic Analysis of Programs
A. J. Kfoury. 175
Complexity O- Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra
N. D. Jones and S. S. Muchnick.185
Session U: L. Guibas, Chairman
The Inherent Complexity of Dynamic Data Structures Which Accommodate Range Queries
M. L. Fredman.
Efficient Uses of the last
D. P. Dobkin and Z. I. Mur.ro.200
Exploring Binary Trees and Other Simple Trees
P. Flajolct and A. Odlyzko.
A General Class cf Resource Tradeoffs
J. L. Bentley arid D. J. Brown.
Some Observations on the Average Behavior of Heapsort
E. E. Doberkat.
Tuning the Coalesced Hashing Method to Obtain Optimum Performance
J. S. Vitter.238
Biased 2-5 Trees
S. W. Bent, D. D. Sleatcr, and R. E. Tarjan.2l*8
Implicit Data Structures with Fast Update
G. N. Fredcrickson.
Wednesday, October 15
Session 5: R. Steams, Chairman
The Compilation of Regular expressions into Integrated Circuits
R. W. Floyd and J. D. Cllman. 260
Area-Efficient Graph Layouts (for VLSI)
C. E. Leiserson.
A Polynomial Time Algorithm for Optimal Routing Around a Rectangle
A. S. LaPaugh.2S2
A Combinatorial Limit to the Computing power of VLSI Circuits
J. Vuillemin.29E
v
On the Priority Approach to Hidden-Surface Algorithms
F. F. Yao.301
A Linear Time Algorithm for the Lowest Common Ancestors Problem
D. Harel.308
Parsing for Structural Editors
M. Wegman.320
Algebraic Dependencies
M. Yannakakis and C. H. Papadimitriou.328
Structure and Complexity of Relational Queries
A. K. Chandra and D. Harel. 333
Session 6; E. Friedman, Chairman
On Similarity and Duality of Computation
Hong Jai-Wei.3**8
Hardware Complexity and Parallel Computation
P. W. Dymond and S. A. Cook.36O
A Distributed Abstract Data Type Implemented by a Probabilistic Ccmmunication Scheme
N. Francez and M. Rodeh.373
A Time-Luck Tradeoff in Cryptography
G. Brassard.380
On Distinguishing Prime Numbers from Composite Numbers
L. M. Adleman.387
N-Process Synchronization by 1 ■ log0 K -Valued Shared Variable
M. 0. Rabin. U07
LATE PAPER
A Recognition Algorithm for Deterministic CFLs Optimal in Time and Space
B. von Braunmuhl and R. Verbeek.All |
| any_adam_object | 1 |
| author_corporate | Symposium on Foundations of Computer Science Syracuse, NY |
| author_corporate_role | aut |
| author_facet | Symposium on Foundations of Computer Science Syracuse, NY |
| author_sort | Symposium on Foundations of Computer Science Syracuse, NY |
| building | Verbundindex |
| bvnumber | BV005600197 |
| classification_rvk | SS 1980 |
| ctrlnum | (OCoLC)631239018 (DE-599)BVBBV005600197 |
| 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">BV005600197</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921021s1980 xx d||| |||| 10||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631239018</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005600197</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Foundations of Computer Science</subfield><subfield code="n">21</subfield><subfield code="d">1980</subfield><subfield code="c">Syracuse, NY</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)818960-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">21st annual Symposium on Foundations of Computer Science</subfield><subfield code="b">Oct. 13 - 15, 1980, Syracuse, New York</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Twenty-first annual Symposium on Foundations of Computer Science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Inst. of Electrical and Electronics Engineers</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 421 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">1980</subfield><subfield code="z">Syracuse NY</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="856" ind1="4" ind2="2"><subfield code="m">KOBV Fremddatenuebernahme</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=003508367&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-003508367</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1980 Syracuse NY gnd-content |
| genre_facet | Konferenzschrift 1980 Syracuse NY |
| id | DE-604.BV005600197 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:23:46Z |
| institution | BVB |
| institution_GND | (DE-588)818960-2 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003508367 |
| oclc_num | 631239018 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-634 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-634 |
| physical | VI, 421 S. graph. Darst. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Inst. of Electrical and Electronics Engineers |
| record_format | marc |
| spelling | Symposium on Foundations of Computer Science 21 1980 Syracuse, NY Verfasser (DE-588)818960-2 aut 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York Twenty-first annual Symposium on Foundations of Computer Science New York, NY Inst. of Electrical and Electronics Engineers 1980 VI, 421 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1980 Syracuse NY gnd-content Informatik (DE-588)4026894-9 s DE-604 KOBV Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003508367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_alt | Twenty-first annual Symposium on Foundations of Computer Science |
| title_auth | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_exact_search | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_full | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_fullStr | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_full_unstemmed | 21st annual Symposium on Foundations of Computer Science Oct. 13 - 15, 1980, Syracuse, New York |
| title_short | 21st annual Symposium on Foundations of Computer Science |
| title_sort | 21st annual symposium on foundations of computer science oct 13 15 1980 syracuse new york |
| title_sub | Oct. 13 - 15, 1980, Syracuse, New York |
| topic | Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Konferenzschrift 1980 Syracuse NY |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003508367&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonfoundationsofcomputersciencesyracuseny 21stannualsymposiumonfoundationsofcomputerscienceoct13151980syracusenewyork AT symposiumonfoundationsofcomputersciencesyracuseny twentyfirstannualsymposiumonfoundationsofcomputerscience |