Härmel Nestra
From MaRDI portal
Person:843214
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Grammars for Indentation-Sensitive Parsing | 2020-05-26 | Paper |
| Laws of monadic error handling | 2019-12-12 | Paper |
| Double applicative functors | 2018-11-23 | Paper |
| On slicing of programs with input statements Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
| Transfinite semantics in the form of greatest fixpoint The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
| Fractional Semantics Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
| Iteratively defined transfinite trace semantics and program slicing with respect to them | 2007-10-15 | Paper |
| Transfinite corecursion | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 1870536 (Why is no real title available?) | 2003-02-18 | Paper |
Research outcomes over time
This page was built for person: Härmel Nestra
