Concepedia

Magnus Steinby

MS

Statistics

Publications

9

Citations

217

H-Index

9

Active since

1969

Affiliations

Turku Centre for Computer Science(Current)

University of Turku

Magnus Steinby is an author at Turku Centre for Computer Science specializing in automated reasoning, formal methods, and computer science.

Top concepts

Publications per year

1969–2015

9

Publications

9

A theory of tree language varieties.

Magnus Steinby · 1992 · 42 citations

, , +7

General varieties of tree languages

Magnus Steinby · Theoretical Computer Science · 1998 · 35 citations

, , +5

Minimal ascending tree automata.

Ferenc Gécseg, Magnus Steinby · Acta Cybernetica · 1978 · 34 citations · Full text

, , +7

Directable nondeterministic automata

Balázs Imreh, Magnus Steinby · Acta Cybernetica · 1999 · 32 citations · Full text

, , +6

The inference of tree languages from finite samples: an algebraic approach

Timo Knuutila, Magnus Steinby · Theoretical Computer Science · 1994 · 26 citations

, , +11

1–5 of 9