Set Theory for Verification.II:Induction and Recursion

Authors
L.C.Paulson
Citation
L.c.paulson, Set Theory for Verification.II:Induction and Recursion, Journal of automated reasoning , 15(2), 1995, pp. 167-215
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
2
Year of publication
1995
Pages
167 - 215
Database
ACNP
SICI code