Temporal Annotated Constraint Logic Programming

By Fruhwirth T.  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 555-583

Academic Press

Access to resources Recommend Favorite

Dealing with Multiple Granularity of Time in Temporal Logic Programming

By Liu C.   Orgun M.A.  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 699-720

Academic Press

Access to resources Recommend Favorite

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

By  

International Journal of Secure Software Engineering (IJSSE), Vol. 2, Iss. 1, 2011-01 ,pp. : 22-39

IGI Global_journal

Access to resources Recommend Favorite

A Metric for the Temporal Characterization of Parallel Programs

By Rodriguez B.   Jordan H.   Alaghband G.  

Journal of Parallel and Distributed Computing, Vol. 46, Iss. 2, 1997-11 ,pp. : 113-124

Academic Press

Access to resources Recommend Favorite

Two-sorted metric temporal logics

By Montanari A.   de Rijke M.  

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 187-214

Elsevier

Access to resources Recommend Favorite