.:. Browse > List by year > 1996 .:.

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

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]