Cargando…

Models of computation and formal languages /

Detalles Bibliográficos
Autor principal:	Taylor, Ralph Gregory
Formato:	Libro
Lenguaje:	English
Publicado:	New York : Oxford University Press, 1998.
Materias:	Funciones computables. Lenguajes formales.

Ejemplares similares

Handbook of computability theory /
Publicado: (1999)

Introduction to formal languages
por: Révész, György E.
Publicado: (1991)

Nociones sobre las gramáticas formales
por: Gross, Maurice
Publicado: (1976)

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

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

Grammars for programming languages
por: Cleaveland, J. Craig
Publicado: (1977)

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

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

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

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

Formal commentary
por: Aguirre, Gustavo D., et al.
Publicado: (2020)

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

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Rebuttal to the Formal Comment on Schorr et al. (2014) submitted by Tyack et al. (2015)
por: Schorr, Gregory S., et al.
Publicado: (2015)

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

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

Response to formal comment on Myhrvold (2016) submitted by Griebeler and Werner (2017)
por: Myhrvold, Nathan P.
Publicado: (2018)

Formal Comment: Romer study fails at following core principles of reanalysis
por: Bridge, Jeffrey A., et al.
Publicado: (2020)

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

Reply to formal comment on Griffiths et al. (2017) submitted by Gajewski (2020)
por: Griffiths, Katherine, et al.
Publicado: (2021)

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

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

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

Formal comment on “Systematic review of the predictors of statin adherence for the primary prevention of cardiovascular disease”
por: Diamond, David M., et al.
Publicado: (2019)

Formal comment to Soler et al.: Great spotted cuckoo nestlings have no antipredatory effect on magpie or carrion crow host nests in southern Spain
por: Canestrari, Daniela, et al.
Publicado: (2017)

Formal comment on “Assessing the impact of the ‘one-child policy’ in China: A synthetic control approach”
por: Goodkind, Daniel
Publicado: (2019)

Formal Comment to Pettengill: The Time to Most Recent Common Ancestor Does Not (Usually) Approximate the Date of Divergence
por: Achtman, Mark, et al.
Publicado: (2015)

Estimating the total prevalence of PTSD among the UK police force: Formal comment on Stevelink et al. (2020)
por: Brewin, Chris R., et al.
Publicado: (2022)

Estimating the total prevalence of PTSD among the UK police force: Formal comment on Brewin, Miller and Burchell (2022)
por: Stevelink, Sharon A. M., et al.
Publicado: (2022)

Language: UG or Not to Be, That Is the Question
por: Bolhuis, Johan J., et al.
Publicado: (2015)

Formal comment on: Parent reports of adolescents and young adults perceived to show signs of a rapid onset of gender dysphoria
por: Brandelli Costa, Angelo
Publicado: (2019)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Formal comment on: Myhrvold (2016) Dinosaur metabolism and the allometry of maximum growth rate. PLoS ONE; 11(11): e0163205
por: Griebeler, Eva Maria, et al.
Publicado: (2018)

Formal comment on: Piscine reovirus: Genomic and molecular phylogenetic analysis from farmed and wild salmonids collected on the Canada/US Pacific Coast
por: Kibenge, Molly J. T., et al.
Publicado: (2017)

Formal Comment; Tracing the source of infection of cystic and alveolar echinococcosis, neglected parasitic infections with long latency: The shaky road of “evidence” gathering
por: Torgerson, Paul R., et al.
Publicado: (2021)

Formal verification of Matrix based MATLAB models using interactive theorem proving
por: Gauhar, Ayesha, et al.
Publicado: (2021)

Formal Comment on “Mitigation of endemic GI-tract pathogen-mediated inflammation through development of multimodal treatment regimen and its impact on SIV acquisition in rhesus macaques” by Bochart et al. (2021)
por: Bohm, Rudolf P., et al.
Publicado: (2022)

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

Formal groups
por: Fr"hlch, A.
Publicado: (1968)

Cannot write session to /tmp/vufind_sessions/sess_hmsci8dhs7j0ukn22r6ikl5dmq