Frontier between decidability and undecidability : a survey Universal Machines and Computations

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 231; no. 2; pp. 217 - 251
Main Author:	MARGENSTERN, M
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier 2000
Subjects:	Algorithmics. Computability. Computer arithmetics Applied sciences Automata. Abstract machines. Turing machines Computer science; control theory; systems Exact sciences and technology Theoretical computing Formal language Cellular automaton Survey Word problem Decidability Diophantine equation Turing machine Molecular compouting Undecidability Tiling Halting problem
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0304-3975 1879-2294