A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL

Abstract

No file

Dates and versions

hal-01125033 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01125033 , version 1

Cite

Hacène Sebih, Kamel Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, Jan 2005, X, France. pp.1255-1263. ⟨hal-01125033⟩

Collections

CNAM CEDRIC-CNAM
23 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More