Show simple item record

dc.contributor.authorMoszkowski, B. C.en
dc.date.accessioned2013-02-21T16:51:43Z
dc.date.available2013-02-21T16:51:43Z
dc.date.issued2013
dc.identifier.citationMoszkowski, B.C. (2013) Interconnections between classes of sequentially compositional temporal formulas. Information Processing Letters, 113 (9), pp. 350-353en
dc.identifier.urihttp://hdl.handle.net/2086/8140
dc.description.abstractInterval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We elucidate here the relationship between various kinds of compositional propositional ITL formulas. Several are closed under conjunction and the standard temporal operator known as “box” and “always".en
dc.language.isoenen
dc.publisherElsevieren
dc.titleInterconnections between classes of sequentially compositional temporal formulasen
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1016/j.ipl.2013.02.005
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record