Ramakrishna, Y. S.; Melliar-Smith, P. M.; Moser, L. E.; Dillon, L. K.; Kutty, G. Interval logics and their decision procedures. II: A real-time interval logic. (English) Zbl 0874.03032 Theor. Comput. Sci. 170, No. 1-2, 1-46 (1996). MSC: 03B80 68Q10 03B25 PDFBibTeX XMLCite \textit{Y. S. Ramakrishna} et al., Theor. Comput. Sci. 170, No. 1--2, 1--46 (1996; Zbl 0874.03032) Full Text: DOI
Ramakrishna, Y. S.; Dillon, L. K.; Moser, L. E.; Melliar-Smith, P. M.; Kutty, G. A real-time interval logic and its decision procedure. (English) Zbl 1009.68517 Sādhanā 21, No. 2, 147-184 (1996). MSC: 68Q60 03B25 03B45 03B70 68Q10 PDFBibTeX XMLCite \textit{Y. S. Ramakrishna} et al., Sādhanā 21, No. 2, 147--184 (1996; Zbl 1009.68517) Full Text: DOI