Holdings: Conference record of the tenth annual ACM Symposium on Theory of Computing

Conference record of the tenth annual ACM Symposium on Theory of Computing: Papers presented at the symposium San Diego, Calif. May 1-3, 1978

Saved in:

Bibliographic Details
Corporate Author:	Symposium on Theory of Computing San Diego, Calif (Author)
Format:	Conference Proceeding Book
Language:	English
Published:	New York, NY 1978
Subjects:	Computer Konferenzschrift
Online Access:	Inhaltsverzeichnis
Physical Description:	IV, 346 S. graph. Darst.

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items