Rachel Ben-Eliyahu
From MaRDI portal
Person:1380413
Available identifiers
zbMath Open ben-eliyahu.rachelMaRDI QIDQ1380413
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 |
|---|---|---|
| Default reasoning using classical logic | 2022-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386925 | 1998-05-11 | Paper |
| On computing minimal models | 1998-03-04 | Paper |
| A temporal logic for proving properties of topologically general executions | 1997-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332413 | 1997-04-21 | Paper |
| Propositional semantics for disjunctive logic programs | 1996-10-20 | Paper |
Research outcomes over time
This page was built for person: Rachel Ben-Eliyahu