Stefan Rönn

According to our database¹, Stefan Rönn authored at least 4 papers between 1986 and 1996.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1996

Invariants and Closures in the Theory of Rewrite Systems.

[DOI]

Formal Aspects Comput., 1996

1991

On the Logarithmic Evaluation of Recurrence Relations.

[DOI]

Inf. Process. Lett., 1991

1990

Distributed Termination Detection with Counters.

[DOI]

Inf. Process. Lett., 1990

1986

Distributed Termination on a Ring.

[DOI]

BIT, 1986