An Extension of an Automated Termination Method of Recursive Functions.

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	361-386
Number of pages	26
Journal	International Journal of Foundations of Computer Science.
Volume	13
Publication status	Published - 2002

Cite this

@article{ffbe0ffdeffb4943a3a2c09462d87066,

title = "An Extension of an Automated Termination Method of Recursive Functions.",

author = "Kamareddine, \{Fairouz Dib\} and F Monin",

year = "2002",

language = "English",

volume = "13",

pages = "361--386",

journal = "International Journal of Foundations of Computer Science.",

issn = "0129-0541",

publisher = "World Scientific Publishing Co. Pte Ltd",

}

TY - JOUR

T1 - An Extension of an Automated Termination Method of Recursive Functions.

AU - Kamareddine, Fairouz Dib

AU - Monin, F

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/26844539996

M3 - Article

SN - 0129-0541

VL - 13

SP - 361

EP - 386

JO - International Journal of Foundations of Computer Science.

JF - International Journal of Foundations of Computer Science.

ER -