The INFOLOG linear tense propositional logic of events and transactions

J. Fiadeiro, A. Sernadas

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)61-85
Number of pages25
JournalInformation Systems Management
Volume11
Issue number1
Publication statusPublished - 1 Jan 1986

Cite this