A course in formal languages, automata and groups /

Código QR

A course in formal languages, automata and groups /

Detalles Bibliográficos
Autor principal:	Chiswell, Ian 1948- (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	London : Springer, c2009.
Materias:	TEORIA DE LAS MAQUINAS > LIBROS DE TEXTO CIENCIAS DE LA COMPUTACION > MODELOS MATEMATICOS LENGUAJES FORMALES TEORIA DE LOS GRUPOS ROBOTS FUNCIONES RECURSIVAS
Acceso en línea:	Ver documento en línea

Ejemplares similares

Computation and automata /
por: Salomaa, Arto, et al.
Publicado: (1985)

An introduction to formal languages and automata /
por: Linz, Peter, et al.
Publicado: (2006)

Automata, languages, and machines /
por: Eilenberg, Samuel, et al.
Publicado: (1974)

Autómata /
por: Hopkin, David, et al.
Publicado: (1976)

Lenguajes formales y teoría de autómatas /
por: Giró Martín, Juan Francisco 1948-
Publicado: (2015)

Teoría de autómatas y lenguajes formales
por: Kelley, Dean, et al.
Publicado: (1995)

Automata on infinite objects and church's problem
Publicado: (1972)

Sobre recursión con objetos grandotes /
por: Lambert Martin, William, et al.

Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al.

Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)

Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)

Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)

Recursive function theory
Publicado: (1962)

Equivalencia recursiva /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1976)

Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)

Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)

Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)

Computations in higher types /
por: Moldestad, John 1946-, et al.
Publicado: (1964)

Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Publicado: (1974)

Recursive macroeconomic theory /
por: Ljungqvist, Lars, et al.
Publicado: (2000)

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

Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
por: Ruscheweyh, S. T., et al.
Publicado: (1964)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

Lenguajes formales y teoría de autómatas
por: Giró, Juan | Meloni, Brenda | Vázquez, Juan | Constable, Leticia
Publicado: (2015)

Lenguajes formales y teoría de autómatas /
Publicado: (2015)

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

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

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

Machines, languages, and computation /
por: Denning, Peter J., et al.
Publicado: (1978)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin 1928-, et al.
Publicado: (1994)

Lenguajes formales y teoría de la computación
por: Martín, John
Publicado: (2004)

Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)

Recursive Functions / by Rózsa Péter
por: Péter, Rózsa

Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)

Finite automata : behavior and synthesis /
por: Traktenbrot, Boris Avraamovich, et al.
Publicado: (1973)

A course on finite groups /
por: Rose, Harvey Ernest 1936-
Publicado: (2009)

Lenguajes formales y teoría de la computación
por: Martín, John
Publicado: (2004)

The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965)

Conditional relationships /
por: Kreiner, Svend, et al.
Publicado: (1989)