Document Zbl 0471.68002

Arbib, Michael A.; Kfoury, A. J.; Moll, Robert N.

A basis for theoretical computer science. (English) Zbl 0471.68002

The AKM Series in Theoretical Computer Science. Texts and Monographs in Computer Science. New York - Heidelberg - Berlin: Springer-Verlag. VIII, 220 p., 49 figs. DM 42.50; $ 19.80 (1981).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0471.68002

Cited in 1 Review

Cited in 3 Documents

MSC:

68-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
94-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory
68Q45	Formal languages and automata
68Q65	Abstract data types; algebraic specification
68W99	Algorithms in computer science
68R10	Graph theory (including graph drawing) in computer science
94C10	Switching theory, application of Boolean algebra; Boolean functions (MSC2010)

Keywords:

set; map; relation; context free grammar; theorem proving; formal language theory; recursive definition; counting trees; analysis of algorithms; switching circuits; lattices; Boolean algebras; graph theory; reachability problem for automata

Cite Review PDF