On Formalised Proofs of Termination of Recursive Functions
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Fairouz Kamareddine, François Monin
On Formalised Proofs of Termination of Recursive Functions
PPDP, 1999.

PPDP 1999
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{PPDP-1999-KamareddineM,
	author        = "Fairouz Kamareddine and François Monin",
	booktitle     = "{Proceedings of the First International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1007/10704567_2",
	isbn          = "3-540-66540-4",
	pages         = "29--46",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{On Formalised Proofs of Termination of Recursive Functions}",
	volume        = 1702,
	year          = 1999,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.