cover image

Theory of computation / Walter S. Brainerd, Lawrence H. Landweber.

; Landweber, Lawrence H., author
New York : Wiley, 1974.
ISBN 9780471095859, 0471095850

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
QA267.5.S4 B68 Available Request
American
WRLC Shared Collections Facility
QA267.5.S4 B68 Off-site
Request
UDC
Van Ness stacks
QA267.5.S4 B68 Available Request
George Mason
Fenwick stacks
QA267.5.S4 B68 Available Request
Howard
Business Library stacks
Withdrawn (pre-1980) Available Request
Founders Library stacks
QA267.5 S4 B68 Available Request
Other Authors Landweber, Lawrence H.,
Subjects Automatentheorie.
Fonctions récursives.
Formale Sprache.
Informatik.
Langages de 4e génération.
Langages de programmation.
Machines séquentielles (Théorie)
Machines séquentielles, Théorie des.
Programming languages (Electronic computers)
Recursive functions.
Sequential machine theory.
complexité calcul.
fonction récursive.
langage algorithmique.
langage formel.
langage machine.
théorie calcul.
Description xxi, 336 pages : illustrations ; 23 cm
Copyright Date 1974.
Notes "A Wiley-Interscience publication."
Includes bibliographical references (pages 325-329) and index.
Also issued online.
Contents An algorithmic language -- Recursive functions -- Machine languages -- Labeled Markov algorithms -- Recursively enumerable sets -- Formal languages -- Reducibility -- Complexity of computations -- Subrecursive hierarchies -- Introduction to combinatory logic.
Network Numbers (OCoLC)694056
WorldCat Search OCLC WorldCat
WorldCat Identities Brainerd, Walter S.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks