Propositional dynamic logic of nonregular programs

Autoria(s): David Harel; Amir Pnueli; Jonathan Stavi
Data(s)

1983
Identificador

http://ir.iscas.ac.cn/handle/311060/1269

http://www.irgrid.ac.cn/handle/1471x/66397
Idioma(s)

中文
Fonte

David Harel, Amir Pnueli,Jonathan Stavi.Propositional dynamic logic of nonregular programs.Journal of Computer and System Sciences,1983,26(2):222-243
Tipo

期刊论文
Acesso ao item digital