.:. Browse > List by year > 1994 .:.

3 documents ordered by : Date Title first author name document type Submit date

Automatizing termination proofs of recursively defined functions Manoury P., Marianne S. Theoretical Computer Science, 135 (1994) pp 319-343 [hal-00528475 - version 1]

On Strong Stability and Higher-Order Sequentiality Ehrhard T., Colson L. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France - Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France, France (1994) [hal-00527032 - version 1]

Sequentiality in an Extensional Framework Ehrhard T., Bucciarelli A. Information and Computation 110, 2 (1994) 265-296 [hal-00527028 - version 1]