G. Kutty

From MaRDI portal
Person:230072

Available identifiers

zbMath Open kutty.gMaRDI QIDQ230072

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/Q43186361995-01-09Paper
https://portal.mardi4nfdi.de/entity/Q40323131993-04-01Paper

Research outcomes over time

This page was built for person: G. Kutty

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