- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Härmel Nestra: Transfinite Semantics in the Form of Greatest Fixpoint. J. Log. Algebr. Program. 78(7): 573-592 (2009) |
| 2006 | ||
| 3 | | Härmel Nestra: Fractional Semantics. AMAST 2006: 278-292 |
| 2005 | ||
| 2 |  | Härmel Nestra: Transfinite Corecursion. Nord. J. Comput. 12(2): 133-156 (2005) |
| 2002 | ||
| 1 | | Härmel Nestra: Framework for Studying Substitution. Acta Cybern. 15(4): 633-652 (2002) |