Automated Proof Construction in Type Theory Using Resolution

M. Bezem, R.D.A. Hendriks, H. de Nivelle

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	253-275
Journal	Journal of Automated Reasoning
Volume	29
Issue number	3-4
DOIs	https://doi.org/10.1023/A:1021939521172
Publication status	Published - 2002

Access to Document

@article{c640fde29aca47c1aab462ace68d8ffe,

title = "Automated Proof Construction in Type Theory Using Resolution",

author = "M. Bezem and R.D.A. Hendriks and {de Nivelle}, H.",

year = "2002",

doi = "10.1023/A:1021939521172",

language = "English",

volume = "29",

pages = "253--275",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "3-4",

}