1996 | ||
---|---|---|
4 | Stefan Rönn: Invariants and Closures in the Theory of Rewrite Systems. Formal Asp. Comput. 8(4): 463-478 (1996) | |
1991 | ||
3 | Stefan Rönn: On the Logarithmic Evaluation of Recurrence Relations. Inf. Process. Lett. 40(4): 197-199 (1991) | |
1990 | ||
2 | Stefan Rönn, Heikki Saikkonen: Distributed Termination Detection with Counters. Inf. Process. Lett. 34(5): 223-227 (1990) | |
1986 | ||
1 | Heikki Saikkonen, Stefan Rönn: Distributed Termination on a Ring. BIT 26(2): 188-194 (1986) |
1 | Heikki Saikkonen | [1] [2] |