Verfügbarkeit: Proceedings of Fourth Annual ACM Symposium on Theory of Computing

Proceedings of Fourth Annual ACM Symposium on Theory of Computing: Denver, Colorado, May 1 - 3, 1972 ; [conference record]

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Symposium on Theory of Computing Denver, Colo (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	New York ACM 1972
Schlagworte:	Konferenzschrift
Online-Zugang:	Inhaltsverzeichnis Inhaltsverzeichnis
Beschreibung:	[Umschlagt.]
Beschreibung:	V, 263 S.

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV036648021
003	DE-604
005	00000000000000.0
007	t
008	100901s1972 \|\|\|\| 10\|\|\| eng d
035			\|a (OCoLC)258621196
035			\|a (DE-599)GBV232489238
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-91G
111	2		\|a Symposium on Theory of Computing \|n 4 \|d 1972 \|c Denver, Colo. \|j Verfasser \|0 (DE-588)5000822-5 \|4 aut
245	1	0	\|a Proceedings of Fourth Annual ACM Symposium on Theory of Computing \|b Denver, Colorado, May 1 - 3, 1972 ; [conference record] \|c sponsored by the ACM Special Interest Group for Automata and Computability Theory
264		1	\|a New York \|b ACM \|c 1972
300			\|a V, 263 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a [Umschlagt.]
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
710	2		\|a Association for Computing Machinery \|b Special Interest Group on Automata and Computability Theory \|e Sonstige \|0 (DE-588)7913-3 \|4 oth
856	4		\|u http://www.gbv.de/dms/tib-ub-hannover/232489238.pdf \|z lizenzfrei \|3 Inhaltsverzeichnis
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020567598&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020567598

Datensatz im Suchindex

_version_	1804143262154358784
adam_text	IMAGE 1 CONFERENCE RECORD FOURTH ANNUAL, ACM SYMPOSIUM ON THEORY OF COMPUTING PAPERS PRESENTED AT THE SYMPOSIUM DENVER, COLORADO MAY 1, 2, 3, 1972 SPONSORED BY THE ASSOCIATION FOR COMPUTING MACHINERY SPECIAL, INTEREST GROUP ON AUTOMATA AND COMPUTABILITY THEORY AND SUPPORTED BY THE UNIVERSITY OF COLORADO AVAILABLE FROM: ACM ORDER DEPARTMENT 1133 AVENUE OF THE AMERICAS NEW YORK, NEW YORK 10036 IMAGE 2 FOURTH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING DENVER, COLORADO MAY 1,2,3, 1972 TABLE OF CONTENTS MAY 1, 1972 PAGE SESSION 1: H. RAYMOND STRONG, CHAIRMAN SUBRECURSIVE PROGRAM SCHEMATA I AND II ROBERT L. CONSTABLE AND STEVEN S, MUCHNICK .... 1 CHARACTERIZATIONS OF FLOWCHARTABLE RECURSIONS 1 S. A. WALKER AND H. R. STRONG ....,,... 18 RECURSION SCHEMES WITH LISTS JAMES H. MORRIS, JR. 35 FLOWCHART SCHEMATA WITH COUNTERS DAVID A. PLAISTED 44 PROGRAM SCHEMAS WITH EQUALITY ASHOK K. CHANDRA AND ZOHAR MANNA 52 ON THE EQUIVALENCE OF SCHEMES STEPHEN J. GARLAND AND DAVID C. LUCKHAM ..... 65 SESSION 2: MICHAEL J. FISCHER, CHAIRMAN TIME-BOUNDED RANDOM ACCESS MACHINES STEPHENA. COOK AND ROBERT A. RECKHOW 73 PREDECESSOR MACHINES AND REGRESSING FUNCTIONS JOHN C. WARKENTIN AND PATRICK C. FISCHER 81 POLYNOMIAL EVALUATION VIA THE DIVISION ALGORITHM: THE FAST FOURIER TRANSFORM REVISITED CHARLES M. FIDUCCIA 88 ON THE ADDITIONS NECESSARY TO COMPUTE CERTAIN FUNCTIONS DAVID KIRKPATRICK 94 A BOUND ON THE MULTIPLICATION EFFICIENCY OF ITERATION H. T. KUNG ..... 102 ALGORITHMS FOR RATIONAL FUNCTION ARITHMETIC OPERATIONS ELLIS HOROWITZ 108 - III - IMAGE 3 TABLE OF CONTENTS (CONT D) MAY 2, 1972 PAGE SESSION 3: ALFRED V. AHO, CHAIRMAN LINEAR TIME BOUNDS FOR MEDIAN COMPUTATIONS MANUEL BLUM, ROBERT W. FLOYD, VAUGHAN PRATT, RONALD L. RIVEST AND ROBERT E. TARJAN 119 RAPID IDENTIFICATION OF REPEATED PATTERNS IN STRINGS, TREES, AND ARRAYS RICHARD M. KARP, RAYMOND E. MILLER AND ARNOLD L. ROSENBERG 125 BINARY SEARCH TREES OF BOUNDED BALANCE JURG NIEVERGELT AND EDWARD M. REINGOLD 137 WORST-CASE ANALYSIS OF MEMORY ALLOCATION ALGORITHMS M. R. GAREY, R. L. GRAHAM AND J. D, ULLMAN 143 MAZE RECOGNIZING AUTOMATA WALTER J. SAVITCH 151 TURING MACHINES AND THE SPECTRA OF FIRST-ORDER FORMULAS WITH EQUALITY NEIL D.JONES ANDALAN SELMAN 157 SESSION 4: DONALD W. LOVELAND, CHAIRMAN PROCESS COMPLEXITY AND EFFECTIVE RANDOM TEATS C. P. SCHNORR 168 THE COMPUTATION OF FINITE FUNCTIONS D. M. SYMES 177 PROGRAM SIZE AND ECONOMY OF DESCRIPTIONS A. R. MEYER AND A. BAGCHI 183 A HIERARCHY FOR NONDETERMINISTIC TIME COMPLEXITY STEPHEN A. COOK 187 A PATENT PROBLEM FOR ABSTRACT PROGRAMMING LANGUAGES: MACHINE-INDEPENDENT COMPUTATIONS R. G. HAMLET 193 -IV- IMAGE 4 TABLE OF CONTENTS (CONT D) MAY 3, 1972 PAGE SESSION 5: SEYMOUR GINSBURG, CHAIRMAN COMPOSITIONS OF N TREE TRANSDUCERS W. F. OGDEN AND W. C. ROUNDS 198 UNIFORMLY ERASABLE AFL SHEILA CARLYLE-GREIBACH, SEYMOUR GINSBURG AND JONATHAN GOLDSTINE 207 DEVELOPMENTAL SYSTEMS AND LANGUAGES A. LINDENMAYER AND G. ROZENBERG . 214 VALIDATING REGISTER ALLOCATIONS FOR STRAIGHT LINE PROGRAMS RAVI SETHI 222 FLOW GRAPH REDUCIBILITY MATTHEW S. HECHT AND JEFFREY D. ULLMAN 238 A TECHNIQUE FOR SPEEDING UP LR(K) PARSERS ALFRED V. AHO AND JEFFREY D. ULLMAN 251
any_adam_object	1
author_corporate	Symposium on Theory of Computing Denver, Colo
author_corporate_role	aut
author_facet	Symposium on Theory of Computing Denver, Colo
author_sort	Symposium on Theory of Computing Denver, Colo
building	Verbundindex
bvnumber	BV036648021
ctrlnum	(OCoLC)258621196 (DE-599)GBV232489238
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01426nam a2200301 c 4500</leader><controlfield tag="001">BV036648021</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100901s1972 \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258621196</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV232489238</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Theory of Computing</subfield><subfield code="n">4</subfield><subfield code="d">1972</subfield><subfield code="c">Denver, Colo.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5000822-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of Fourth Annual ACM Symposium on Theory of Computing</subfield><subfield code="b">Denver, Colorado, May 1 - 3, 1972 ; [conference record]</subfield><subfield code="c">sponsored by the ACM Special Interest Group for Automata and Computability Theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 263 S.</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">[Umschlagt.]</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="b">Special Interest Group on Automata and Computability Theory</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)7913-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.gbv.de/dms/tib-ub-hannover/232489238.pdf</subfield><subfield code="z">lizenzfrei</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=020567598&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-020567598</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV036648021
illustrated	Not Illustrated
indexdate	2024-07-09T22:44:52Z
institution	BVB
institution_GND	(DE-588)5000822-5 (DE-588)7913-3
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020567598
oclc_num	258621196
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	V, 263 S.
publishDate	1972
publishDateSearch	1972
publishDateSort	1972
publisher	ACM
record_format	marc
spelling	Symposium on Theory of Computing 4 1972 Denver, Colo. Verfasser (DE-588)5000822-5 aut Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record] sponsored by the ACM Special Interest Group for Automata and Computability Theory New York ACM 1972 V, 263 S. txt rdacontent n rdamedia nc rdacarrier [Umschlagt.] (DE-588)1071861417 Konferenzschrift gnd-content Association for Computing Machinery Special Interest Group on Automata and Computability Theory Sonstige (DE-588)7913-3 oth http://www.gbv.de/dms/tib-ub-hannover/232489238.pdf lizenzfrei Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020567598&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record]
subject_GND	(DE-588)1071861417
title	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record]
title_auth	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record]
title_exact_search	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record]
title_full	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record] sponsored by the ACM Special Interest Group for Automata and Computability Theory
title_fullStr	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record] sponsored by the ACM Special Interest Group for Automata and Computability Theory
title_full_unstemmed	Proceedings of Fourth Annual ACM Symposium on Theory of Computing Denver, Colorado, May 1 - 3, 1972 ; [conference record] sponsored by the ACM Special Interest Group for Automata and Computability Theory
title_short	Proceedings of Fourth Annual ACM Symposium on Theory of Computing
title_sort	proceedings of fourth annual acm symposium on theory of computing denver colorado may 1 3 1972 conference record
title_sub	Denver, Colorado, May 1 - 3, 1972 ; [conference record]
topic_facet	Konferenzschrift
url	http://www.gbv.de/dms/tib-ub-hannover/232489238.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020567598&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT symposiumontheoryofcomputingdenvercolo proceedingsoffourthannualacmsymposiumontheoryofcomputingdenvercoloradomay131972conferencerecord AT associationforcomputingmachineryspecialinterestgrouponautomataandcomputabilitytheory proceedingsoffourthannualacmsymposiumontheoryofcomputingdenvercoloradomay131972conferencerecord

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis
Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge