Automated Synthesis of Recursive Programs from a V-) Logical Specification

Authors
J.Chazarain,S.Muller
Citation
J.chazarain,s.muller, Automated Synthesis of Recursive Programs from a V-) Logical Specification, Journal of automated reasoning , 21(2), 1998, pp. 233-275
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
2
Year of publication
1998
Pages
233 - 275
Database
ACNP
SICI code