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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)721-738
Number of pages18
JournalJournal of Logic and Computation
Volume10
DOIs
Publication statusPublished - 2000

Cite this

@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

VL - 10

SP - 721

EP - 738

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

ER -