LNint: A Temporal Logic That Combines Points and Intervals and the Absolute and Relative Approaches
Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/3.5.745
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1995
Authors
Publisher
Oxford University Press (OUP)