Login
|
New Account
ITA
ENG
The completeness c for higher level reasoning about computation
Authors
John Staples
Peter J.Robinson
Daniel Hazel
Citation
John Staples et al., The completeness c for higher level reasoning about computation, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 1-38
Journal title
Formal aspects of computing The international journal of formal methods
→
ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
1 - 38
Database
ACNP
SICI code