Jael Kriener
From MaRDI portal
Person:2900263
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 Functional and Logic Programming | 2014-07-24 | Paper |
| Resourceful reachability as HORN-LA Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Correct reasoning about logic programs | 2012-08-29 | Paper |
| Mutual Exclusion by Interpolation Functional and Logic Programming | 2012-07-20 | Paper |
| RedAlert: Determinacy inference for Prolog Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Research outcomes over time
This page was built for person: Jael Kriener
