Metalogical Frameworks II: Developing a Reflected Decision Procedure

Authors
W.E.Aitken,R.L.Constable,J.L.Underwood
Citation
W.e.aitken,r.l.constable,j.l.underwood, Metalogical Frameworks II: Developing a Reflected Decision Procedure, Journal of automated reasoning , 22(2), 1999, pp. 171-221
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
2
Year of publication
1999
Pages
171 - 221
Database
ACNP
SICI code