A complete axiomatic system for proving deductions about pecursive programs

ISCAS OpenIR

	A complete axiomatic system for proving deductions about pecursive programs
	David Harel; Amir Pnueli; Jonathan Stavi
	1977
Language	中文
Content Type	其他
URI	http://ir.iscas.ac.cn/handle/311060/1223
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	David Harel,Amir Pnueli,Jonathan Stavi. A complete axiomatic system for proving deductions about pecursive programs. 1977-01-01.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库