Automated Proof Construction in Type Theory using Resolution

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

Automated Proof Construction in Type Theory using Resolution

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

Theoretical Computer Science

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

Original language	English
Pages (from-to)	148-163
Journal	Lecture Notes in Computer Science
Volume	1831
Publication status	Published - 2000
Event	Conference on Automated Deduction - Duration: 1 Jan 2000 → 1 Jan 2000

Bibliographical note

Proceedings title: Conference on Automated Deduction
Publisher: Springer

Persistent URL (handle)

Persistent link

Cite this

@article{5a7a806b213d47519f3281641a50365d,

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

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

note = "Proceedings title: Conference on Automated Deduction Publisher: Springer; Conference on Automated Deduction ; Conference date: 01-01-2000 Through 01-01-2000",

year = "2000",

language = "English",

volume = "1831",

pages = "148--163",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Automated Proof Construction in Type Theory using Resolution

AU - Bezem, M.

AU - Hendriks, R.D.A.

AU - de Nivelle, H.

N1 - Proceedings title: Conference on Automated Deduction Publisher: Springer

PY - 2000

Y1 - 2000

M3 - Article

SN - 0302-9743

VL - 1831

SP - 148

EP - 163

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Conference on Automated Deduction

Y2 - 1 January 2000 through 1 January 2000

ER -