Recursion in logics of programs

Autoria(s): David Harel
Data(s)

1979
Identificador

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

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

中文
Fonte

David Harel.Recursion in logics of programs.见:Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages.San Antonio, Texas.1979.
Tipo

会议论文
Acesso ao item digital