The applicability of logic program analysis to theorem proving

DA De Waal, JP Gallagher

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	The applicability of logic program analysis to theorem proving
Original language	English
Title of host publication	12th International Conference on Automated Deduction (CADE-12)
Pages	207 - 221
Number of pages	14
Publication status	Published - 1994

Conference Proceedings/Title of Journal: 12th International Conference on Automated Deduction (CADE-12)

Handle.net

@inproceedings{95f997203bf14c5586c64d35cb3f81ef,

title = "The applicability of logic program analysis to theorem proving",

author = "\{De Waal\}, DA and JP Gallagher",

note = "Conference Proceedings/Title of Journal: 12th International Conference on Automated Deduction (CADE-12)",

year = "1994",

language = "English",

isbn = "0387581561",

pages = "207 -- 221",

booktitle = "12th International Conference on Automated Deduction (CADE-12)",

}

TY - GEN

T1 - The applicability of logic program analysis to theorem proving

AU - De Waal, DA

AU - Gallagher, JP

N1 - Conference Proceedings/Title of Journal: 12th International Conference on Automated Deduction (CADE-12)

PY - 1994

Y1 - 1994

M3 - Conference Contribution (Conference Proceeding)

SN - 0387581561

SP - 207

EP - 221

BT - 12th International Conference on Automated Deduction (CADE-12)

ER -