Cargando…

Computation and automata

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Salomaa, Arto
Formato:	Libro
Publicado:	Cambridge, N. Y. : Cambridge University Press, 1985(reimpr. 1989)
Colección:	Encyclopedia of mathematics and its applications ; 25
Materias:	Funciones computables Complejidad computacional Teoría de las máquinas

Ejemplares similares

Teoría de la computación : lenguajes formales, autómatas y complejidad
por: Brookshear, J. Glenn
Publicado: (1993)

Introduction to automata theory, languages and computation /
por: Hopcroft, John E., 1939-
Publicado: (1979)

Automata, computability and complexity : theory and applications /
por: Rich, Elaine
Publicado: (2008)

Introducción a la teoría de autómatas lenguajes y computación /
por: Hopcroft, John E., 1939-
Publicado: (2008)

Introducción a la teoría de autómatas, lenguajes y computación /
por: Hopcroft, John E., 1939-
Publicado: (1993)

Automata-theoretic aspects of formal power series /
por: Salomaa, Arto
Publicado: (1978)

Computability, complexity, and languajes : fundamentals of theoretical computer science
por: Davis, Martin, 1928-
Publicado: (1994)

Languages and machines : an introduction to the theory of computer science /
por: Sudkamp, Thomas A.
Publicado: (1997)

Foundations of algorithms : using C++ pseudocode
por: Neapolitan, Richard E.
Publicado: (1998)

Introduction to the theory of computation /
por: Sipser, Michael
Publicado: (2006)

Automata and languages
por: Howie, John M.
Publicado: (1991)

Algorithmic information theory /
por: Chaitin, Gregory J.
Publicado: (1987)

Exploring randomness /
por: Chaitin, Gregory J.
Publicado: (2001)

The universal turing machine a half-century survey
Publicado: (1994)

Green chemistry and computational chemistry : shared lessons in sustainability /
Publicado: (2022)

Automata and algebras in categories
por: Adámek, Jiří
Publicado: (1990)

Computable structures and the hyperarithmetical hierarchy
por: Ash, C. J.
Publicado: (2000)

Teoría de autómatas y lenguajes formales
Publicado: (2001)

Lógica computacional /
por: Paniagua Arís, Enrique
Publicado: (2003)

Theory of recursive functions and effective computability /
por: Rogers, H. (Hartley), 1926-
Publicado: (1987)

Theory of computation /
por: Kozen, Dexter, 1951-
Publicado: (2006)

Studies in abstract families of languages /
por: Ginsburg, Seymour, 1927-
Publicado: (1969)

Cerebros, máquinas y matemáticas /
por: Arbib, Michael A.
Publicado: (1982)

Computability & Unsolvability
por: Davis, Martin, 1928-
Publicado: (1982)

Computation and automata
por: Salomaa, Arto
Publicado: (1985)

Communication and concurrency
por: Milner, Robin 1934-
Publicado: (1989)

Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Handbook of computability theory /
Publicado: (1999)

Discrete mathematical structures with applications to computer science /
por: Tremblay, Jean-Paul, 1938-
Publicado: (1975)

Models of computation and formal languages /
por: Taylor, Ralph Gregory
Publicado: (1998)

Elements of the theory of computation
por: Lewis, Harry R.
Publicado: (1981)

Handbook of recursive mathematics /
Publicado: (1998)

Matemáticas discretas : con aplicación a las ciencias de la computación /
por: Tremblay, Jean-Paul, 1938-
Publicado: (1996)

Grammatical complexity and one-dimensional dynamical systems
por: Xie, Huimin
Publicado: (1996)

Computability and logic
por: Boolos, George S.
Publicado: (1989)

Recursive algorithms
por: Lorentz, Richard J.
Publicado: (1994)

Beginning model theory : the completeness theorem and some consequences
por: Bridge, Jene
Publicado: (1977)

Computability, complexity, logic
por: Börger, Egon 1946-
Publicado: (1989)

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2013)

A shorter model theory
por: Hodges, Wilfrid
Publicado: (1997)

Cannot write session to /tmp/vufind_sessions/sess_o7nbuj2cecnjp0dhj8bdj1h6ed