Postponement, conservation and preservation of strong normalisation for generalised reduction logic and computation

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	721-738
Number of pages	18
Journal	Journal of Logic and Computation
Volume	10
DOIs	https://doi.org/10.1093/logcom/10.5.721
Publication status	Published - 2000

Access to Document

@article{4136ee97e9804902b89218defeefb3b1,

title = "Postponement, conservation and preservation of strong normalisation for generalised reduction logic and computation",

author = "Kamareddine, {Fairouz Dib}",

year = "2000",

doi = "10.1093/logcom/10.5.721",

language = "English",

volume = "10",

pages = "721--738",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

}

TY - JOUR

T1 - Postponement, conservation and preservation of strong normalisation for generalised reduction logic and computation

AU - Kamareddine, Fairouz Dib

PY - 2000

Y1 - 2000

U2 - 10.1093/logcom/10.5.721

DO - 10.1093/logcom/10.5.721

M3 - Article

SN - 0955-792X

VL - 10

SP - 721

EP - 738

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

ER -