VIAF

Virtual International Authority File

Search

Salomaa, Arto, 1934-.... National Library of the Czech Republic German National Library Sudoc [ABES], France ISNI-test National Library of Sweden NUKAT Center of Warsaw University Library National Library of France

Salomaa, Arto. National Library of Poland Library and Archives Canada Library of Congress/NACO National Diet Library, Japan

Salomaa, A. (Arto), 1934- National Library of the Netherlands-test

Arto Salomaa Wikidata

Salomaa, A. German National Library

VIAF ID: 108122679 (Personal)

Permalink: http://viaf.org/viaf/108122679

ISNI-test: 0000  0001  2146  796X 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (13)

Open Section Close SectionWorks

Title Sources
Algebra, combinatorics, and logic in computer science Sudoc [ABES], France Library of Congress/NACO
Ambiguity and decision problems concerning number systems Library and Archives Canada
Automata-theoretic aspects of formal power series National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands-test
Axiom systems for regular expressions of finite automata National Library of the Netherlands-test
The Book of L NUKAT Center of Warsaw University Library National Library of the Czech Republic Library of Congress/NACO National Library of the Netherlands-test Sudoc [ABES], France
Chinese remainder theorem : applications in computing, coding, cryptography National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Computation and Automata NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test Sudoc [ABES], France National Library of France National Diet Library, Japan
Cornerstones of undecidability National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Developments in language theory two Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
DNA computing : new computing paradigms Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France National Diet Library, Japan
DNA konpyūtingu : Atarashii keisan paradaimu National Diet Library, Japan
DNAコンピューティング : 新しい計算パラダイム National Diet Library, Japan
European Association for Theoretical Computer Science monographs on theoretical computer science Sudoc [ABES], France
Formal and natural computing : honoring the 80th birthday of Andrzej Ehrenfeucht NUKAT Center of Warsaw University Library
Formal languages National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France xR Extended Titles-test National Library of Sweden National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
Formale Sprachen NUKAT Center of Warsaw University Library German National Library
Grammatical models of multi-agent systems NUKAT Center of Warsaw University Library Sudoc [ABES], France
Information and randomness : an algorithmic perspective NUKAT Center of Warsaw University Library National Library of France
Introduction à l'informatique théorique Calculabilité et complexité Sudoc [ABES], France National Library of France
Kōkai kagi angōkei National Diet Library, Japan
Kriptografiâ s otkrytym klûčom NUKAT Center of Warsaw University Library
Lindenmayer systems : impacts on theoretical computer science, computer graphics, and developmental biology National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
The mathematical theory of L systems National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France
On a homomorphic characterization of recursively enumerable languages National Library of the Netherlands-test NUKAT Center of Warsaw University Library German National Library
On essential variables of functions, especially in the algebra of logic National Library of the Netherlands-test
On finite time-variant automata with monitors of different types. Library of Congress/NACO
On grammars with restricted use of productions National Library of the Netherlands-test German National Library
On infinite words obtained by iterating morphisms Library and Archives Canada
On probabilistic automata with one input letter National Library of the Netherlands-test
On sequensis of functions over an arbitrary domain National Library of the Netherlands-test
On the heights of closed sets of operations in finite algebras National Library of the Netherlands-test
Ōtomaton ron National Diet Library, Japan
The Oxford handbook of Membrane computing Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Primality of types of instances of the post correspondence problem Library and Archives Canada
Public-key cryptography Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France National Diet Library, Japan
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa : Graz, Austria, June 10-11, 1994 : proceedings Library of Congress/NACO National Library of Sweden National Library of the Netherlands-test Sudoc [ABES], France National Library of France
Semirings, automata, languages National Library of Poland National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France Library and Archives Canada NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France
Some completeness criteria for sets of functions over a finite domain National Library of the Netherlands-test
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Systolic automata for VLSI on balanced trees Library and Archives Canada
Systolic trellis automata : stability, decidability and complexity Library and Archives Canada
Texts theor. comput. sci. (Print) Sudoc [ABES], France
Theorems on the representation of events in Moore-automata National Library of the Netherlands-test
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th Birthday National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
The Very knowledge of coding : studies in honor of Aimo Tietäväinen on the occasion of his fiftieth birthday, July 6, 1987 Library of Congress/NACO
VLSI Systolic trees as acceptors Library and Archives Canada
Žemčužiny teorii formal'nyh âzykov NUKAT Center of Warsaw University Library National Library of the Czech Republic
オートマトン論 National Diet Library, Japan
公開鍵暗号系 National Diet Library, Japan
計算論とオートマトン理論 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (13)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

Open Section Close Section History of VIAF ID:108122679 (52)