H ? « »

Language peer sets for INFOLOG:


alternate simple view

  • 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