A functional approach for temporal( imes)modal logics
Alfredo Burrieza, Inma P. de GuzmánVolume:
39
Language:
english
Pages:
26
DOI:
10.1007/s00236-002-0098-z
Date:
February, 2003
File:
PDF, 475 KB
english, 2003