Zobrazeno 1 - 10
of 415
pro vyhledávání: '"Arto Salomaa"'
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer
Publikováno v:
International Journal of Foundations of Computer Science. :1-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e72d295d96b35d222b678e98672bdd1a
https://doi.org/10.1142/s0129054123020033
https://doi.org/10.1142/s0129054123020033
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested. Although some o
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label “computer science”. The theoretical foundations of such disciplines have become known as theoreti
Publikováno v:
Theoretical Computer Science. 952:113819
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7310477bc1e4b66316a2dbcfc779125
https://doi.org/10.1016/j.tcs.2023.113819
https://doi.org/10.1016/j.tcs.2023.113819
Autor:
Arto Salomaa
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational compl
Publikováno v:
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adc154816623e97ea2257b29c5867421
Publikováno v:
Theoretical Computer Science. 862:1-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03be43b6b38696c0b3b11643d283fd70
https://doi.org/10.1016/j.tcs.2021.02.041
https://doi.org/10.1016/j.tcs.2021.02.041
This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The paper
Publikováno v:
Theoretical Computer Science. 701:2-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1932bd0c975cdb43d4dc7c9965f90b8
https://doi.org/10.1016/j.tcs.2017.10.022
https://doi.org/10.1016/j.tcs.2017.10.022