On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference

Research output: Contribution to conferencePaper

Original languageEnglish
Pages177-189
Number of pages13
Publication statusPublished - 1999

Cite this

@conference{97dee921729241248cd686c9f2edf0ae,
title = "On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference",
author = "Kamareddine, {Fairouz Dib} and F Monin",
year = "1999",
language = "English",
pages = "177--189",

}

On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference. / Kamareddine, Fairouz Dib; Monin, F.

1999. 177-189.

Research output: Contribution to conferencePaper

TY - CONF

T1 - On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference

AU - Kamareddine, Fairouz Dib

AU - Monin, F

PY - 1999

Y1 - 1999

M3 - Paper

SP - 177

EP - 189

ER -