Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,360,340 papers from all fields of science
Search
Sign In
Create Free Account
Introduction to the Theory of Computation
Introduction to the Theory of Computation (ISBN 0-534-95097-3) is a standard textbook in theoretical computer science, written by Michael Sipser and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Automata theory
Clique problem
Computational complexity theory
Introduction to Automata Theory, Languages, and Computation
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Involutory Turing Machines
Keisuke Nakano
International Workshop on Reversible Computation
2020
Corpus ID: 220430438
An involutory function, also called involution, is a function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage…
Expand
2014
2014
David Liu Introduction to the Theory of Computation Lecture Notes and Exercises for CSC 236
David Liu
2014
Corpus ID: 2380928
2013
2013
Pseudonym Systems =4g 2 Pseudonym Systems
Anna Lysyanskaya
,
A. Sahai
2013
Corpus ID: 16705689
Pseudonym systems allow users to interact with multiple organizations anonymously, using pseudonyms. The pseudonyms cannot be…
Expand
2011
2011
Concise Guide to Computation Theory
Akira Maruoka
2011
Corpus ID: 64446231
This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations…
Expand
2010
2010
Mining Significant Subspaces
Anthony J. T. Lee
,
Ming-Chih Lin
,
Yun-ru Wang
,
Kuo-Tay Chen
2010
Corpus ID: 59474275
As both the number of dimensions increases, existing clustering methods in full feature space are not appropriate to cluster data…
Expand
Review
2008
Review
2008
Iv. Branches of Mathematics Iv.21 Numerical Analysis
L. Trefethen
2008
Corpus ID: 16546989
Karp, R. M., and V. Ramachandran. 1990. Parallel algorithms for shared-memory machines. In Handbook of Theoretical Computer…
Expand
1999
1999
Elements of the Theory of Computation (2d ed.): Solutions Manual
James Grimmelmann
1999
Corpus ID: 56812954
SOLUTIONS MANUAL: A First Course in the Finite Element Method, 4th Edition logan SOLUTIONS MANUAL: Antenna Theory and Design, 2nd…
Expand
Review
1991
Review
1991
Review: Eitan Gurari, An Introduction to the Theory of Computation
W. Gasarch
Journal of Symbolic Logic (JSL)
1991
Corpus ID: 61081621
problem is given. The section finishes with a proof of the decidability of the reachability problem for Petri nets in the guise…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE