Thomas Drakengren

Available identifiers

zbMath Open drakengren.thomasMaRDI QIDQ672136

List of research outcomes

Publication	Date of Publication	Type
Twenty-one large tractable subclasses of Allen's algebra	2003-08-28	Paper
Reasoning about action in polynomial time	2000-06-04	Paper
Computational complexity of relating time points with intervals	1999-06-21	Paper
A complete classification of tractability in Allen's algebra relative to subsets of basic relations	1999-03-02	Paper
Reasoning about set constraints applied to tractable inference in intuitionistic logic	1999-02-02	Paper
A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4386965	1998-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4386967	1998-05-13	Paper
Uniqueness of Scott's reflexive domain in \(P\omega \)	1997-02-27	Paper

Research outcomes over time

This page was built for person: Thomas Drakengren