Salomaa, Arto
Overview
Works:  229 works in 959 publications in 4 languages and 15,747 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Honoree, Other, Dedicatee, Author of introduction 
Classifications:  QA267.3, 511.3 
Publication Timeline
.
Most widely held works about
Arto Salomaa
Most widely held works by
Arto Salomaa
Formal languages by
Arto Salomaa(
Book
)
27 editions published between 1973 and 1987 in 4 languages and held by 737 WorldCat member libraries worldwide
Language and grammar. Regular and contextfree languages. Context sensitive and type0 languages. Abstract families of languages. Regulated rewriting. Contextfree languages revisited. Some further classes of generative devices. Solvability and unsolvability. Complexity. Guide to the literature. Subject index
27 editions published between 1973 and 1987 in 4 languages and held by 737 WorldCat member libraries worldwide
Language and grammar. Regular and contextfree languages. Context sensitive and type0 languages. Abstract families of languages. Regulated rewriting. Contextfree languages revisited. Some further classes of generative devices. Solvability and unsolvability. Complexity. Guide to the literature. Subject index
Computation and automata by
Arto Salomaa(
Book
)
26 editions published between 1985 and 2011 in English and held by 696 WorldCat member libraries worldwide
In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science
26 editions published between 1985 and 2011 in English and held by 696 WorldCat member libraries worldwide
In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science
Handbook of formal languages by
Gheorghe Păun(
Book
)
28 editions published in 1997 in English and German and held by 515 WorldCat member libraries worldwide
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jrgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages
28 editions published in 1997 in English and German and held by 515 WorldCat member libraries worldwide
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jrgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages
Jewels of formal language theory by
Arto Salomaa(
Book
)
23 editions published between 1980 and 1986 in 3 languages and held by 507 WorldCat member libraries worldwide
Repetitions. Regularity: characterizations. Regularity: challenging problems. Codes and equality sets. Decidable and undecidable. Morphic representations. Language families
23 editions published between 1980 and 1986 in 3 languages and held by 507 WorldCat member libraries worldwide
Repetitions. Regularity: characterizations. Regularity: challenging problems. Codes and equality sets. Decidable and undecidable. Morphic representations. Language families
Theory of automata by
Arto Salomaa(
Book
)
18 editions published between 1969 and 1979 in English and Undetermined and held by 444 WorldCat member libraries worldwide
Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such as finite nondeterministic and probabilistic automata as well as pushdown and linear bounded automata, are treated as generalizations of this basic model. The formalism chosen to describe finite deterministic automata is that of regular expressions. A detailed exposition regarding this formalism is presented by considering the algebra of regular expressions
18 editions published between 1969 and 1979 in English and Undetermined and held by 444 WorldCat member libraries worldwide
Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such as finite nondeterministic and probabilistic automata as well as pushdown and linear bounded automata, are treated as generalizations of this basic model. The formalism chosen to describe finite deterministic automata is that of regular expressions. A detailed exposition regarding this formalism is presented by considering the algebra of regular expressions
Semirings, automata, languages by
Werner Kuich(
Book
)
15 editions published between 1985 and 1986 in 3 languages and held by 399 WorldCat member libraries worldwide
15 editions published between 1985 and 1986 in 3 languages and held by 399 WorldCat member libraries worldwide
The mathematical theory of L systems by
Grzegorz Rozenberg(
Book
)
15 editions published between 1974 and 1980 in English and held by 392 WorldCat member libraries worldwide
15 editions published between 1974 and 1980 in English and held by 392 WorldCat member libraries worldwide
DNA computing : new computing paradigms by
Gheorghe Păun(
Book
)
19 editions published between 1998 and 2011 in 3 languages and held by 386 WorldCat member libraries worldwide
This is the first text and monograph about DNA computing, a molecular approach that might revolutionize our thinking and ideas about computing. Although it is too soon to predict whether computer hardware is likely to change from silicon to carbon and from microchips to DNA molecules, the theoretical premises have already been studied extensively. The book starts with an introduction to DNArelated matters, the basics of biochemistry and language and computation theory, and progresses to the advanced mathematical theory of DNA computing. Apart from being wellknown scientists, all three authors are known for their lucid writing. Many of their previous books have become classics in their field, and this book too is sure to follow their example
19 editions published between 1998 and 2011 in 3 languages and held by 386 WorldCat member libraries worldwide
This is the first text and monograph about DNA computing, a molecular approach that might revolutionize our thinking and ideas about computing. Although it is too soon to predict whether computer hardware is likely to change from silicon to carbon and from microchips to DNA molecules, the theoretical premises have already been studied extensively. The book starts with an introduction to DNArelated matters, the basics of biochemistry and language and computation theory, and progresses to the advanced mathematical theory of DNA computing. Apart from being wellknown scientists, all three authors are known for their lucid writing. Many of their previous books have become classics in their field, and this book too is sure to follow their example
Automatatheoretic aspects of formal power series by
Arto Salomaa(
Book
)
15 editions published between 1978 and 2011 in English and German and held by 338 WorldCat member libraries worldwide
15 editions published between 1978 and 2011 in English and German and held by 338 WorldCat member libraries worldwide
L systems by
Grzegorz Rozenberg(
Book
)
16 editions published between 1974 and 2007 in 3 languages and held by 281 WorldCat member libraries worldwide
16 editions published between 1974 and 2007 in 3 languages and held by 281 WorldCat member libraries worldwide
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by
Jan Mycielski(
Book
)
17 editions published in 1997 in English and held by 265 WorldCat member libraries worldwide
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally wellknown scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
17 editions published in 1997 in English and held by 265 WorldCat member libraries worldwide
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally wellknown scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
Current trends in theoretical computer science : essays and tutorials by
Gheorghe Păun(
Book
)
33 editions published between 1993 and 2004 in English and Undetermined and held by 224 WorldCat member libraries worldwide
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 20002003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field. The list of contributors includes many of the wellknown researchers in theoretical computer science. Most of the articles are readerfriendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science
33 editions published between 1993 and 2004 in English and Undetermined and held by 224 WorldCat member libraries worldwide
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 20002003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field. The list of contributors includes many of the wellknown researchers in theoretical computer science. Most of the articles are readerfriendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday by
Juhani Karhumäki(
Book
)
8 editions published in 2004 in English and held by 172 WorldCat member libraries worldwide
This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work
8 editions published in 2004 in English and held by 172 WorldCat member libraries worldwide
This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work
A halfcentury of automata theory : celebration and inspiration by
Arto Salomaa(
Book
)
16 editions published in 2001 in English and Undetermined and held by 138 WorldCat member libraries worldwide
"This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early development of automata theory are reminisced about the future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers." "The book is for professionals in theoretical computer science and related areas of mathematics, and for students in these areas."Jacket
16 editions published in 2001 in English and Undetermined and held by 138 WorldCat member libraries worldwide
"This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early development of automata theory are reminisced about the future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers." "The book is for professionals in theoretical computer science and related areas of mathematics, and for students in these areas."Jacket
Current trends in theoretical computer science : the challenge of the new century(
Book
)
7 editions published in 2004 in English and held by 80 WorldCat member libraries worldwide
7 editions published in 2004 in English and held by 80 WorldCat member libraries worldwide
Membrane computing : international workshop, WMCCdeA 2002 : CurteadeArgeș, Romania, August 1923, 2002 : revised papers by
Gheorghe Păun(
)
8 editions published between 2003 and 2013 in English and Undetermined and held by 50 WorldCat member libraries worldwide
Annotation
8 editions published between 2003 and 2013 in English and Undetermined and held by 50 WorldCat member libraries worldwide
Annotation
Handbook of formal languages by
Grzegorz Rozenberg(
Book
)
18 editions published between 1996 and 2011 in English and Italian and held by 42 WorldCat member libraries worldwide
This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed. A special feature is the recently very active field of DNA computing
18 editions published between 1996 and 2011 in English and Italian and held by 42 WorldCat member libraries worldwide
This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed. A special feature is the recently very active field of DNA computing
Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 2023, 2013 : revised
selected papers by
Artiom Alhazov(
Book
)
8 editions published in 2014 in English and held by 10 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chişinău, Republic of Moldova, in August 2013. The 16 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 26 papers presented at the conference. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment
8 editions published in 2014 in English and held by 10 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chişinău, Republic of Moldova, in August 2013. The 16 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 26 papers presented at the conference. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Rozenberg, Grzegorz Other Author Editor
 Păun, Gheorghe 1950 Other Author Editor
 Wood, Derick 1940 Author Editor
 Yu, Sheng Editor
 Rozenberg, Grzegorz Other Author Editor
 Gheorghe, Marian 1953 Author Editor
 Maurer, Hermann A. 1941 Honoree Author Editor
 Kuich, Werner 1941 Author Editor
 Calude, Cristian 1952 Author Editor
 Karhumäki, Juhani Editor
Useful Links
Associated Subjects
Algebra Artificial intelligence Biocomputers Bioinformatics BiologyData processing Commutative rings Computable functions Computational complexity Computer algorithms Computer science Computer scienceMathematics Computer simulation Computer software Ehrenfeucht, Andrzej Electronic data processing Electronic data processingDistributed processing Formal languages Information theory Logic, Symbolic and mathematical Logic design L systems Machine theory Molecular computers Optical pattern recognition Parsing (Computer grammar) Power series Programming languages (Electronic computers) Salomaa, Arto Semirings (Mathematics) Sequential machine theory Software engineering
Alternative Names
Arto Salomaa finnischer Informatiker
Arto Salomaa Finnish mathematician and computer scientist
Arto Salomaa Fins wiskundige
Salomaa, A.
Salomaa, A. 1934
Salomaa, A. (Arto)
Salomaa, Arto
Salomaa, Arto K.
Salomaa, Arto K. 1934
Salomaa Arto Kustaa
Salomaa, Arto Kustaa 1934
サローマ, A.
Languages
Covers