TECHNIQUES OF COMPUTABLE SET-THEORY WITH APPLICATIONS TO PROOF VERIFICATION

Authors
CANTONE D FERRO A
Citation
D. Cantone et A. Ferro, TECHNIQUES OF COMPUTABLE SET-THEORY WITH APPLICATIONS TO PROOF VERIFICATION, Communications on pure and applied mathematics, 48(9-10), 1995, pp. 901-945
Citations number
74
Categorie Soggetti
Mathematics, General",Mathematics,Mathematics
Journal title
Communications on pure and applied mathematics → ACNP
ISSN journal
00103640
Volume
48
Issue
9-10
Year of publication
1995
Pages
901 - 945
Database
ISI
SICI code
0010-3640(1995)48:9-10<901:TOCSWA>2.0.ZU;2-0