302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 1996 .:.
2 documents classés par :
Decidability of All Minimal Models
Padovani V.
Dans Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers - Types for Proofs and Programs, International Workshop TYPES'95, Italie (1995) [hal-00527844 - version 1]
Projecting Sequential Algorithms on Strongly Stable Functions
Ehrhard T.
Annals of Pure and Applied Logic 77, 3 (1996) 201-244 [hal-00527033 - version 1]