Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ruohonen, Keijo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Explicit test sets for iterated morphisms in free monoids and Metabelian groups
Keijo Ruohonen
Theoretical Computer Science
330
(1), 2005, pp. 171-191
Chomskian hierarchies of families of sets of piecewise continuous functions
Keijo Ruohonen
Theory of Computing Systems
37
(5), 2004, pp. 609-638
An effective Cauchy-Peano existence theorem for unique solutions
Keijo Ruohonen
International Journal of Foundations of Computer Science
7
(2), 1996, pp. 151-160
Event detection for ODEs and nonrecursive hierarchies
Keijo Ruohonen
Proceedings of the Colloquium in Honor of Arto Salomaa. Results and Trends in Theoretical Computer Science (Graz, Austria, June 10-11, 1994)
LNCS 812
, 1994, pp. 358-371
A note on off-line machines with `Brownian' input heads
Keijo Ruohonen
Discrete Applied Mathematics
9
, 1984, pp. 69-75
On the decidability of the OL-DOL equivalence problem
Keijo Ruohonen
Information and Control
40
, 1979, pp. 301-318
Three results of comparison between L languages with and without interaction
Keijo Ruohonen
Information Processing Letters
4
, 1975, pp. 7-10