Lee Naish
From MaRDI portal
Person:808235
Available identifiers
zbMath Open naish.leeMaRDI QIDQ808235
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 |
|---|---|---|
| Truth versus information in logic programming | 2014-12-10 | Paper |
| Transforming floundering into success | 2014-04-17 | Paper |
| Specialisation of higher-order functions for debugging | 2013-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3558859 | 2010-05-10 | Paper |
| Resource-Oriented Deadlock Analysis | 2009-03-05 | Paper |
| A three-valued semantics for logic programmers | 2006-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506388 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259962 | 1999-09-08 | Paper |
| Most specific logic programs | 1997-06-04 | Paper |
| Completeness of an improved declarative debugger | 1991-01-01 | Paper |
| Proving properties of committed choice logic programs | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768375 | 1987-01-01 | Paper |
| Negation and control in PROLOG | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727351 | 1986-01-01 | Paper |
| Automating control for logic programs | 1985-01-01 | Paper |
| Heterogeneous SLD resolution | 1984-01-01 | Paper |
Research outcomes over time
This page was built for person: Lee Naish
