Cover Image

Elements of the theory of computation /

Show other versions (6)

Saved in:

Bibliographic Details
Main Author:	Lewis, Harry R
Other Authors:	Papadimitriou, Christos H
Format:	Book
Language:	English
Published:	New Jersey : Prentice-Hall c1981.
Edition:	2nd ed.
Subjects:	Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Elements of the theory of computation /
by: Lewis, Harry R
Published: (1981)

Elements of the theory of computation /
by: Lewis, Harry R
Published: (1981)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1989)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1989)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1989)

Elements of the Theory of Computation
by: Lewis, Harry R.
Published: (1998)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
by: Hopcroft, John E.
Published: (1979)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E.
Published: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
by: Hopcroft, John E.
Published: (1979)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
by: Hopcroft, John E.
Published: (1979)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E.
Published: (2001)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E.
Published: (2001)

An Introduction to Theory of Computation An Algorithmic Approach /
by: Ogihara, Mitsunori
Published: (2025)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
by: Hoffmann, Dirk W.
Published: (2025)

Automata Theory And Formal Languages /
by: Kandar, Shyamalendu
Published: (2012)

Automata Theory And Formal Languages /
by: Kandar, Shyamalendu
Published: (2012)

Automata Theory And Formal Languages /
by: Kandar, Shyamalendu
Published: (2012)

Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Published: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
by: Farmer, William M.
Published: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
by: Farmer, William M.
Published: (2025)

Set Theory
by: Chatterjee, P. N.
Published: (1993)

Set Theory
by: Chatterjee, P. N.
Published: (1995)

Theory and Problems of Set Theory and Related Topics
by: Lipschutz, Seymour
Published: (1964)

Schaum's outline of set theory and related topics /
by: Lipschutz, Seymour
Published: (1981)

Schaum's outline of set theory and related topics
by: Lipschutz, Seymour
Published: (1981)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Published: (2023)

Essential Computer Mathematics
by: Lipschutz, Seymour
Published: (1982)

Set Theory: and Related Topics
by: Spiegel, Murray R.
Published: (1965)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Published: (2025)

Computability and logic /
by: Boolos, George S.
Published: (1989)

Theory of automata, formal languages and computation /
by: Xavier, Eugene S. P.
Published: (2005)

Theory of automata, formal languages and computation /
by: Xavier, Eugene S. P.
Published: (2005)

Theory of automata, formal languages and computation /
by: Xavier, Eugene S. P.
Published: (2005)

Introduction to mathematical logic; set theory / computable functions, model theory.
by: MALITZ, Jerome
Published: (1979)

Threshold logic /
by: LEWIS, P.M
Published: (1967)

Leibnits and the seventeenth-century /
by: Meyer, R.W
Published: (1952)

R-Calculus, IV: Propositional Logic
by: Li, Wei, et al.
Published: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Published: (2025)

Formal Languages and Automata Theory /
by: Anami, Basavaraj S.
Published: (2011)