H ? « ‹ ← → › »

Language peer sets for TAL:
Sweden↑
Sweden/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑
Experimental and other ↑
Experimental and other/1998↑
Experimental and other/se ↑

TAL(ID:5606/tal004)

Temporal Action Logics 

alternate simple view
Country: Sweden
Designed 1998
Sammet category: Experimental and other

TAL: Temporal Action Logics Language
Related languages
TAL → NDL   Subsystem
References:
  • Doherty, Patrick; Gustafsson, Joakim; Karlsson, La (1998) Doherty, Patrick; Gustafsson, Joakim; Karlsson, Lars and Kvarnström, Jonas. "TAL: Temporal Action Logics Language - Specification and Tutorial" Abstract
          in (1998) Linköping Electronic Articles in Computer and Information Science 98-015
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder