Computability and completeness in logics of programs (Preliminary Report)

Autoria(s): D. Harel; A. R. Meyer; V. R. Pratt
Data(s)

1977
Identificador

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

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

中文
Fonte

D. Harel,A. R. Meyer,V. R. Pratt.Computability and completeness in logics of programs (Preliminary Report).1977.[url]
Tipo

其他
Acesso ao item digital