The INFOLOG linear tense propositional logic of events and transactions. / Fiadeiro, J.; Sernadas, A.

In: Information Systems Management, Vol. 11, No. 1, 01.01.1986, p. 61-85.

Research output: Contribution to journalArticle

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

ID: 7188329