Jael Kriener
From MaRDI portal
Person:2900263
Available identifiers
zbMath Open kriener.jael-eMaRDI QIDQ2900263
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 |
|---|---|---|
| Semantics for Prolog with cut -- revisited | 2014-07-24 | Paper |
| Resourceful reachability as HORN-LA | 2014-01-17 | Paper |
| Correct reasoning about logic programs | 2012-08-29 | Paper |
| Mutual Exclusion by Interpolation | 2012-07-20 | Paper |
| RedAlert: Determinacy inference for Prolog | 2011-08-16 | Paper |
Research outcomes over time
This page was built for person: Jael Kriener