21829 articles – 15616 Notices  [english version]
.:. Consultation > Liste par unité de recherche > Research On Software Analysis for Error-free Computing .:.
1 document
fulltext access Kripke Models for Classical Logic
Ilik D. et al
Annals of Pure and Applied Logic 161, 11 (2010) 1367-1378 [inria-00371959 - version 4]