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
Published
| 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