On Formalised Proofs of Termination of Recursvie Functions. International Conference on Principles and Practice of Declarative Programming.

Research output: Contribution to conferencePaper

Original languageEnglish
Pages29-46
Number of pages18
Publication statusPublished - 1999

Cite this

@conference{1bb7ff6596f04d009bec87ea81786f08,
title = "On Formalised Proofs of Termination of Recursvie Functions. International Conference on Principles and Practice of Declarative Programming.",
author = "Kamareddine, {Fairouz Dib} and F Monin",
year = "1999",
language = "English",
pages = "29--46",

}

TY - CONF

T1 - On Formalised Proofs of Termination of Recursvie Functions. International Conference on Principles and Practice of Declarative Programming.

AU - Kamareddine, Fairouz Dib

AU - Monin, F

PY - 1999

Y1 - 1999

M3 - Paper

SP - 29

EP - 46

ER -