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 journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 61-85 |
Number of pages | 25 |
Journal | Information Systems Management |
Volume | 11 |
Issue number | 1 |
Publication status | Published - 1 Jan 1986 |
ID: 7188329