• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A HOL Formalisation of the Temporal Logic of Actions

Thomas Långbacka, A HOL Formalisation of the Temporal Logic of Actions. In: Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, Lecture Notes in Computer Science 859, 332–345, Springer-Verlag, 1994.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pLangback94,
  title = {A HOL Formalisation of the Temporal Logic of Actions},
  booktitle = {Higher Order Logic Theorem Proving and its Applications, 7th International Workshop},
  author = {Långbacka, Thomas},
  volume = {859},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {332–345},
  year = {1994},
}

Publication Forum rating of this publication: level 1

Edit publication