Strong normalization for all-style LK tq

H. Schellinx, J.-B. Joinet, L. Mortora de Falco

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

Original language	Undefined/Unknown
Title of host publication	Theorem proving with analytic tableaux
Editors	P. Miglioli
Place of Publication	Berlijn
Publisher	Springer
Pages	226-243
Number of pages	18
Publication status	Published - 1996

Name	Lecture Notes in Computer Science
Number	1071

Keywords

@inbook{bd2318bfc157479c89df00309bf67569,

title = "Strong normalization for all-style LK tq",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "H. Schellinx and J.-B. Joinet and {Mortora de Falco}, L.",

year = "1996",

language = "Undefined/Unknown",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "1071",

pages = "226--243",

editor = "P. Miglioli",

booktitle = "Theorem proving with analytic tableaux",

}

TY - CHAP

T1 - Strong normalization for all-style LK tq

AU - Schellinx, H.

AU - Joinet, J.-B.

AU - Mortora de Falco, L.

PY - 1996

Y1 - 1996

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Chapter

T3 - Lecture Notes in Computer Science

SP - 226

EP - 243

BT - Theorem proving with analytic tableaux

A2 - Miglioli, P.

PB - Springer

CY - Berlijn

ER -