Uwe Reyle
From MaRDI portal
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 |
|---|---|---|
| Justified sloppiness in anaphoric reference | 2024-05-30 | Paper |
| Labelled resolution for classical and non-classical logics Studia Logica | 2001-11-25 | Paper |
| scientific article; zbMATH DE number 1421199 (Why is no real title available?) | 2000-11-19 | Paper |
| A calculus for first order discourse representation structures Journal of Logic, Language and Information | 1996-10-13 | Paper |
| Direct deductive computation on discourse representation structures Linguistics and Philosophy | 1994-11-10 | Paper |
| Computation with run time skolemisation (N-Prolog part 3) Journal of Applied Non-Classical Logics | 1994-02-01 | Paper |
| N-Prolog: An extension of Prolog with hypothetical implications. I. The Journal of Logic Programming | 1984-01-01 | Paper |
Research outcomes over time
This page was built for person: Uwe Reyle
