Richard A. O'Keefe
From MaRDI portal
Person:796312
Available identifiers
zbMath Open okeefe.richard-aMaRDI QIDQ796312
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 |
|---|---|---|
| Coding guidelines for Prolog | 2012-12-27 | Paper |
| O(1) reversible tree navigation without cycles | 2004-03-01 | Paper |
| Solving symbolic equations with PRESS | 1989-01-01 | Paper |
| Commentary on: solving symbolic equations with PRESS | 1988-01-01 | Paper |
| A polymorphic type system for Prolog | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325029 | 1982-01-01 | Paper |
Research outcomes over time
This page was built for person: Richard A. O'Keefe