L. K. Dillon

From MaRDI portal
Person:230069

Available identifiers

zbMath Open dillon.l-kMaRDI QIDQ230069

List of research outcomes





PublicationDate of PublicationType
A real-time interval logic and its decision procedure2002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q45184442000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45184242000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42684641999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42566521999-08-08Paper
Interval logics and their decision procedures. I: An interval logic1997-02-27Paper
Interval logics and their decision procedures. II: A real-time interval logic1997-02-27Paper
Automated deduction in a graphical temporal logic1996-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48533171996-01-30Paper
https://portal.mardi4nfdi.de/entity/Q40323131993-04-01Paper

Research outcomes over time

This page was built for person: L. K. Dillon

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:230069&oldid=7556168"
Powered by MediaWiki