H ?
«
‹
←
→
›
»
Language peer sets for INFOLOG:
INFOLOG(ID:7118/inf014)
alternate simple view
References:
Fiadeiro, José; Sernadas, Amilcar (1986) Fiadeiro, José; Sernadas, Amilcar "The INFOLOG linear tense propositional logic of events and transactions" Information Systems 11(01) 1986 pp61-85 Publisher Elsevier Science Ltd Oxford, UK
Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304
Extract:
INFOLOG
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|