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",

}