302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 1994 .:.
3 documents classés par :
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]