Härmel Nestra

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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)

	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)

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page