Conference record of the eighth annual ACM Symposium on Theory of Computing: papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | Undetermined |
| Published: |
New York
ACM
1976
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Nebentitel: Proceedingsof the eighth annual ACM Symposium on Theory of Computing |
| Physical Description: | IV, 246 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012976844 | ||
| 003 | DE-604 | ||
| 005 | 20130730 | ||
| 007 | t | ||
| 008 | 000208s1976 d||| |||| 10||| und d | ||
| 035 | |a (OCoLC)635199416 | ||
| 035 | |a (DE-599)BVBBV012976844 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G |a DE-188 | ||
| 111 | 2 | |a Symposium on Theory of Computing |n 8 |d 1976 |c Hershey, Pa. |j Verfasser |0 (DE-588)5000824-9 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the eighth annual ACM Symposium on Theory of Computing |b papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |c Symposium on Theory of Computing ; Association for Computing Machinery |
| 246 | 1 | 3 | |a Proceedingsof the eighth annual ACM Symposium on Theory of Computing |
| 264 | 1 | |a New York |b ACM |c 1976 | |
| 300 | |a IV, 246 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Nebentitel: Proceedingsof the eighth annual ACM Symposium on Theory of Computing | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 710 | 2 | |a Association for Computing Machinery |e Sonstige |0 (DE-588)1222-1 |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008841072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008841072 | ||
Record in the Search Index
| _version_ | 1804127673737281536 |
|---|---|
| adam_text | Conference Record of
The
EIGHTH ANNUAL ACM SYMPOSIUM
on
THEORY OF COMPUTING
Papers Presented at the Symposium
Hershey, Pennsylvania
May 3 - 5, 1976
Sponsored by the
ASSOCIATION FOR COMPUTING MACHINERY
SPECIAL INTEREST GROUP ON AUTOMATA AND COMPUTABILITY THEORY
With the Cooperation of
The IEEE Computer Society Technical Committee on
Mathematical Foundations of Computing, and
The Pennsylvania State University
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
73W77T
Inventar-Nr
Sachgebiete
Standort»
Fachbereichsbibliothek Informatik
i,iU Darmstadt
59520148
Copyright © 1976 by The Association for Computing Machinery
1133 Avenue of the Americas, New York, N Y 10036
$
1976 EIGHTH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING
Hershey, Pennsylvania
TABLE OF CONTENTS
May 3
Session I: Robert E Tarjan, Chairman Page
Some Complexity Results for the Traveling Salesman Problem,
by Christos H Papadimitriou and Kenneth Steiglitz 1
Some NP-Complete Geometric Problems,
by M R Garey, R L Graham, and D S Johnson 10
NP-Complete Decision Problems for Quadratic Polynomials,
by Kenneth Manders and Leonard Adleman 23
On Isomorphisms and Density of NP and Other Complete Sets,
by J Hartmanis and L Berman 30
Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games,
by Thomas J Schaefer 41
Exponential Space Complete Problems for Petri Nets and Commutative Subgroups,
by E Cardoza, R Lipton and A R Meyer 50
Session II: Ravi Sethi, Chairman
Parallel Algorithms for the Transitive Closure and the Connected Component Problems,
by D S Hirshberg 55
Sorting on a Mesh-Connected Parallel Computer,
by C D Thompson and H T Kung 58
On Abstractions of Parallel Programs,
by Thomas W Doeppner, Jr 65
A Consistent and Complete Deductive System for the Verification of Parallel Programs,
by Susan Owicki 73
A New Incompleteness Result for Hoare s System,
by Mitchell Wand 87
An Algebraic System for Process Structuring and Interprocess Communication,
by Takayuki Kimura 92
May 4
Session III: Ashok K Chandra, Chairman
On Structuring Flowcharts,
by S Rao Kosaraju 101
On Line Context Free Language Recognition in Less than Cubic Time,
by Susan L Graham, Michael A Harrison, and Walter L Ruzzo 112
Finding the Depth of a Flow Graph,
by Amelia C Fong and Jeffrey D Ullman 121
Dichotomization, Reachability, and the Forbidden Subgraph Problem,
by H B Hunt III and T G Szymanski 126
- iii -
TABLE OF CONTENTS ( continued )
Session III - continued Page
A Useful Device for Showing the Solvability of Some Decision Problems,
by Oscar H Ibarra and Chul E Kim 135
On Deterministic Context-Free Languages, Multihead Automata, and the Power of an Auxiliary
Pushdown Store,
by I H Sudborough 141
Session IV: Michael J Fischer, Chairman
Space Bounds for a Game on Graphs,
by Wolfgang J Paul, Robert E Tarjan and James R Celoni 149
Real-Time Algorithms for String-Matching and Palindrome Recognition,
by Zvi Galil 161
Evaluation of Polynomials with Super-Preconditioning,
by Richard J Lipton and Larry J Stockmeyer 174
Linear Unification,
by M S Paterson and M N Wegman 181
The Analysis of Double Hashing,
by Leo J Guibas and Endre Szemeredi 187
On the Average Behavior of Set Merging Algorithms,
by Andrew C Yao 192
Session V: Harry B Hunt III, Chairman
Universal Circuits,
by Leslie G Valiant 196
The Realization of Monotone Boolean Functions,
by Nicholas Pippenger 204
Associative Retrieval Trie Hash-Coding,
by Walter A Burkhard 211
Divide-and-Conquer in Multidimensional Space,
by Jon L Bentley and Michael I Shamos 220
Location of a Point in a Planar Subdivision and its Applications,
by D T Lee and F P Preparata 231
Simple Gödel Numberings, Translations, and the P-Hierarchy: Preliminary Report,
by Michael Machtey and Paul Young 236
INDEX 244
|
| any_adam_object | 1 |
| author_corporate | Symposium on Theory of Computing Hershey, Pa |
| author_corporate_role | aut |
| author_facet | Symposium on Theory of Computing Hershey, Pa |
| author_sort | Symposium on Theory of Computing Hershey, Pa |
| building | Verbundindex |
| bvnumber | BV012976844 |
| ctrlnum | (OCoLC)635199416 (DE-599)BVBBV012976844 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01468nam a2200301 c 4500</leader><controlfield tag="001">BV012976844</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130730 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000208s1976 d||| |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635199416</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012976844</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Theory of Computing</subfield><subfield code="n">8</subfield><subfield code="d">1976</subfield><subfield code="c">Hershey, Pa.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5000824-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the eighth annual ACM Symposium on Theory of Computing</subfield><subfield code="b">papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976</subfield><subfield code="c">Symposium on Theory of Computing ; Association for Computing Machinery</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedingsof the eighth annual ACM Symposium on Theory of Computing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 246 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">Nebentitel: Proceedingsof the eighth annual ACM Symposium on Theory of Computing</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=008841072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008841072</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012976844 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:37:05Z |
| institution | BVB |
| institution_GND | (DE-588)5000824-9 (DE-588)1222-1 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008841072 |
| oclc_num | 635199416 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-188 |
| physical | IV, 246 S. graph. Darst. |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| publisher | ACM |
| record_format | marc |
| spelling | Symposium on Theory of Computing 8 1976 Hershey, Pa. Verfasser (DE-588)5000824-9 aut Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 Symposium on Theory of Computing ; Association for Computing Machinery Proceedingsof the eighth annual ACM Symposium on Theory of Computing New York ACM 1976 IV, 246 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Nebentitel: Proceedingsof the eighth annual ACM Symposium on Theory of Computing (DE-588)1071861417 Konferenzschrift gnd-content Association for Computing Machinery Sonstige (DE-588)1222-1 oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008841072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |
| subject_GND | (DE-588)1071861417 |
| title | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |
| title_alt | Proceedingsof the eighth annual ACM Symposium on Theory of Computing |
| title_auth | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |
| title_exact_search | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |
| title_full | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 Symposium on Theory of Computing ; Association for Computing Machinery |
| title_fullStr | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 Symposium on Theory of Computing ; Association for Computing Machinery |
| title_full_unstemmed | Conference record of the eighth annual ACM Symposium on Theory of Computing papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 Symposium on Theory of Computing ; Association for Computing Machinery |
| title_short | Conference record of the eighth annual ACM Symposium on Theory of Computing |
| title_sort | conference record of the eighth annual acm symposium on theory of computing papers presented at the symposium hershey pennsylvania may 3 5 1976 |
| title_sub | papers presented at the symposium Hershey, Pennsylvania May 3 - 5, 1976 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008841072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumontheoryofcomputinghersheypa conferencerecordoftheeighthannualacmsymposiumontheoryofcomputingpaperspresentedatthesymposiumhersheypennsylvaniamay351976 AT associationforcomputingmachinery conferencerecordoftheeighthannualacmsymposiumontheoryofcomputingpaperspresentedatthesymposiumhersheypennsylvaniamay351976 AT symposiumontheoryofcomputinghersheypa proceedingsoftheeighthannualacmsymposiumontheoryofcomputing AT associationforcomputingmachinery proceedingsoftheeighthannualacmsymposiumontheoryofcomputing |