Automated Reasoning With Analytic Tableaux: An Improved Refutation System for Intuitionistic Predicate Logic

Authors
P.Miglioli,U.Moscato,M.Ornaghi
Citation
P.miglioli,u.moscato,m.ornaghi, Automated Reasoning With Analytic Tableaux: An Improved Refutation System for Intuitionistic Predicate Logic, Journal of automated reasoning , 13(3), 1994, pp. 361-374
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
3
Year of publication
1994
Part
2
Pages
361 - 374
Database
ACNP
SICI code