Conference record of the tenth annual ACM Symposium on Theory of Computing: Papers presented at the symposium San Diego, Calif. May 1-3, 1978
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
1978
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IV, 346 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007545290 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930421s1978 xx d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)633035934 | ||
| 035 | |a (DE-599)BVBBV007545290 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-739 |a DE-91G |a DE-11 | ||
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 111 | 2 | |a Symposium on Theory of Computing |n 10 |d 1978 |c San Diego, Calif. |j Verfasser |0 (DE-588)5000826-2 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the tenth annual ACM Symposium on Theory of Computing |b Papers presented at the symposium San Diego, Calif. May 1-3, 1978 |c Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery* |
| 264 | 1 | |a New York, NY |c 1978 | |
| 300 | |a IV, 346 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=004917402&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004917402 | |
Datensatz im Suchindex
| _version_ | 1820868306385502208 |
|---|---|
| adam_text |
Conference Record of
The
TENTH ANNUAL ACM SYMPOSIUM
on
THEORY OF COMPUTING
Papers Presented at the Symposium
San Diego, California
May 1-3, 1978
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIB MOTHEK
Inventar-Nr : ~TSZ09 !T
Sachgebiete; - T
Standortt
Sponsored by the
ASSOCIATION FOR COMPUTING MACHINERY
SPECIAL INTEREST GROUP ON AUTOMATA AND COMPUTABILITY THEORY
Fachbereichsbibliothek Informatik
TU Darmstadt
With the Cooperation of
59520105
The IEEE Computer Society Technical Committee on
Mathematical Foundations of Computing, and
The University of California, San Diego
Copyright © 1978 by The Association for Computing Machinery
1133 Avenue of the Americas, New York, N Y 10036
1
1978 TENTH ANNUAL SYMPOSIUM ON
THEORY OF COMPUTING
SAN DIEGO, CALIFORNIA
MAY 1-3, 1978
TABLE OF CONTENTS
onda , Ma 1, 1978
ession I: William Rounds, Chairman Page
ombinatorial Optimization with Rational Objective Functions
by Nimrod Megiddo 1
aximization Problems on Graphs with Edge Weights Chosen
from a Normal Distribution
by George S Lueker 13
Representation for Linear Lists with Movable Fingers
by Mark R Brown and Robert E Tarjan 19
he Macro Model for Data Compression
by James A Storer and Thomas G Szymanski 30
he Subgraph Homeomorphism Problem
by Andrea S LaPaugh and Ronald L Rivest 40
n the n^°^ n Isomorphism Technique
by Gary L Miller 51
xact and Approximate Membership Testers
by Larry Carter, Robert Floyd, John Gill, George Markovsky,
and Mark Wegman 59
ession II: Steven Cook, Chairman
ree Transducers, L Systems and Two-Way Machines
by J Engelfriet, G Rozenberg and G Slutzki 66
perational and Semantic Equivalence Between Recursive Programs
by Jean-Claude Raoult and Jean Vuillemin 75
New Solution to the Critical Section Problem
by Howard P Katseff 86
Unified Approach to Models of Synchronous Parallel Machines
by Leslie M Goldschlager 89
omputability Theory in Admissible Domains
by E Sciore and A Tang 95
n Formulating Simultaneity for Studying Parallelism and
ynchronization
by Raymond E Miller and Chee K Yap 105
arallelism in Random Access Machines
teven Fortune and James Wyllie 114
ata Type Specification: Parameterization and the Power of
pecification Techniques
by James W Thatcher, Eric G Wagner and Jesse B Wright 119
uesda , Ma 2, 1978
ession III: Ian Munro, Chairman
Efficient Algorithm for Determining Whether a Cubic Graph
s Toroidal
by I S Filotti 133
witching Functions Whose Monotone Complexity is Nearly Quadratic
by Ingo Wegener 143
- iii -
TABLE OF CONTENTS (continued)
Session III - continued
Straight-Line Program Length as a Parameter for
Complexity Measures
by Nancy A Lynch 150
Computational Complexity of Computing Polynomials Over
the Field of Real and Complex Numbers
by V Ya Pan 162
Optimal Evaluation of Pairs of Bilinear Forms
by Joseph Ja'Ja' 173
Algorithms for Edge Coloring Bipartite Graphs
by Harold N Gabow and Oded Kariv 184
On the Parallel Evaluation of Multi-Variate Polynomials
by Laurent Hyafil 193
Session IV; Andrew Yao, Chairman
Time-Space Tradeoffs for Computing Functions, Using Connectivity
Properties of their Circuits
by Martin Tompa 196
An NP-Complete Number-Theoretic Problem
by Eitan M Gurari and Oscar H Ibarra 205
The Complexity of Satisfiability Problems
by Thomas J Schaefer 216
Coping with Errors in Binary Search Procedures
by D J Kleitman, A R Meyer, R L Rivest, J Spencer
and K Winklmann 227
On Time-Space Classes and Their Relation to the Theory of
Real Addition
by Anni R Bruss and Albert R Meyer 233
On the Completeness of a Generalized Matching Problem
by David G Kirkpatrick and Pavol Hell 240
Propositional Representation of Arithmetic Proofs
by Martin Dowd 246
Node- and Edge-Deletion NP-Complete Problems
by Mihalis Yannakakis 253
On the Complexity of the Maximum Subgraph Problem
by John M Lewis 265
Wednesday, May 3, 1978
Session V: Richard Ladner, Chairman
Nondeterminism and the Size of Two Way Finite Automata
by William J Sakoda and Michael Sipser 275
Indexing of Subrecursive Classes
by Dexter Kozen 287
An Analysis of the Full Alpha-Beta Pruning Algorithm
by Gerard M Baudet 296
Anamoly Hierarchies of Mechanized Inductive Inference
by John Case and Carl Smith 314
Presburger Arithmetic with Bounded Quantifier Alternation
by C R Reddy and D W Loveland 320
A Practical Decision Method for Propositional Dynamic Logic
by Vaughan R Pratt 326
Relativized Questions Involving Probabilisitc Algorithms
by Charles Rackoff 338
INDEX 343
* |
| any_adam_object | 1 |
| author_corporate | Symposium on Theory of Computing San Diego, Calif |
| author_corporate_role | aut |
| author_facet | Symposium on Theory of Computing San Diego, Calif |
| author_sort | Symposium on Theory of Computing San Diego, Calif |
| building | Verbundindex |
| bvnumber | BV007545290 |
| classification_rvk | ST 110 |
| ctrlnum | (OCoLC)633035934 (DE-599)BVBBV007545290 |
| 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">BV007545290</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930421s1978 xx d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633035934</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007545290</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-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Theory of Computing</subfield><subfield code="n">10</subfield><subfield code="d">1978</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5000826-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the tenth annual ACM Symposium on Theory of Computing</subfield><subfield code="b">Papers presented at the symposium San Diego, Calif. May 1-3, 1978</subfield><subfield code="c">Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 346 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="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=004917402&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-004917402</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV007545290 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:17Z |
| institution | BVB |
| institution_GND | (DE-588)5000826-2 (DE-588)1222-1 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004917402 |
| oclc_num | 633035934 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-739 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-355 DE-BY-UBR DE-739 DE-91G DE-BY-TUM DE-11 |
| physical | IV, 346 S. graph. Darst. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| record_format | marc |
| spelling | Symposium on Theory of Computing 10 1978 San Diego, Calif. Verfasser (DE-588)5000826-2 aut Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery* New York, NY 1978 IV, 346 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer (DE-588)4070083-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Computer (DE-588)4070083-5 s DE-604 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=004917402&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 Computer (DE-588)4070083-5 gnd |
| subject_GND | (DE-588)4070083-5 (DE-588)1071861417 |
| title | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 |
| title_auth | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 |
| title_exact_search | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 |
| title_full | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery* |
| title_fullStr | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery* |
| title_full_unstemmed | Conference record of the tenth annual ACM Symposium on Theory of Computing Papers presented at the symposium San Diego, Calif. May 1-3, 1978 Symposium on Theory of Computing <10, 1978, San Diego, Calif.> ; Association for Computing Machinery* |
| title_short | Conference record of the tenth annual ACM Symposium on Theory of Computing |
| title_sort | conference record of the tenth annual acm symposium on theory of computing papers presented at the symposium san diego calif may 1 3 1978 |
| title_sub | Papers presented at the symposium San Diego, Calif. May 1-3, 1978 |
| topic | Computer (DE-588)4070083-5 gnd |
| topic_facet | Computer Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004917402&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumontheoryofcomputingsandiegocalif conferencerecordofthetenthannualacmsymposiumontheoryofcomputingpaperspresentedatthesymposiumsandiegocalifmay131978 AT associationforcomputingmachinery conferencerecordofthetenthannualacmsymposiumontheoryofcomputingpaperspresentedatthesymposiumsandiegocalifmay131978 |