Uwe Reyle

Available identifiers

zbMath Open reyle.uweMaRDI QIDQ1923838

List of research outcomes

Publication	Date of Publication	Type
Justified sloppiness in anaphoric reference	2024-05-30	Paper
Labelled resolution for classical and non-classical logics	2001-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4946228	2000-11-19	Paper
A calculus for first order discourse representation structures	1996-10-13	Paper
Direct deductive computation on discourse representation structures	1994-11-10	Paper
Computation with run time skolemisation (N-Prolog part 3)	1994-02-01	Paper
N-Prolog: An extension of Prolog with hypothetical implications. I.	1984-01-01	Paper

Research outcomes over time

This page was built for person: Uwe Reyle