An approach to theorem proving on the basis of a typed lambda-calculus

R.P. Nederpelt

doi:10.1007/3-540-10009-1_15

An approach to theorem proving on the basis of a typed lambda-calculus

R.P. Nederpelt

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980)
Editors	W. Bibel, R.A. Kowalski
Place of Publication	Berlin
Publisher	Springer
Chapter	15
Pages	182-194
Number of pages	13
ISBN (Electronic)	978-3-540-38140-2
ISBN (Print)	3-540-10009-1, 978-3-540-10009-6
DOIs	https://doi.org/10.1007/3-540-10009-1_15
Publication status	Published - 1980

Publication series

Name	Lecture Notes in Computer Science
Volume	87
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-10009-1_15

Cite this

@inproceedings{c11860c4cfa74d9cb4099f930e3aeb17,

title = "An approach to theorem proving on the basis of a typed lambda-calculus",

author = "R.P. Nederpelt",

year = "1980",

doi = "10.1007/3-540-10009-1_15",

language = "English",

isbn = "3-540-10009-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "182--194",

editor = "W. Bibel and R.A. Kowalski",

booktitle = "5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980)",

address = "Germany",

}

An approach to theorem proving on the basis of a typed lambda-calculus. / Nederpelt, R.P.

5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980). ed. / W. Bibel; R.A. Kowalski. Berlin : Springer, 1980. p. 182-194 (Lecture Notes in Computer Science; Vol. 87).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An approach to theorem proving on the basis of a typed lambda-calculus

AU - Nederpelt, R.P.

PY - 1980

Y1 - 1980

U2 - 10.1007/3-540-10009-1_15

DO - 10.1007/3-540-10009-1_15

M3 - Conference contribution

SN - 3-540-10009-1

SN - 978-3-540-10009-6

T3 - Lecture Notes in Computer Science

SP - 182

EP - 194

BT - 5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980)

A2 - Bibel, W.

A2 - Kowalski, R.A.

PB - Springer

CY - Berlin

ER -