Stefan Rönn

Publication Activity (10 Years)

Years Active: 1986-1996
Publications (10 Years): 0

Publications

Stefan Rönn
Invariants and Closures in the Theory of Rewrite Systems. Formal Aspects Comput. 8 (4) (1996)
Stefan Rönn
On the Logarithmic Evaluation of Recurrence Relations. Inf. Process. Lett. 40 (4) (1991)
Stefan Rönn, Heikki Saikkonen
Distributed Termination Detection with Counters. Inf. Process. Lett. 34 (5) (1990)
Heikki Saikkonen, Stefan Rönn
Distributed Termination on a Ring. BIT 26 (2) (1986)