26451 articles – 20330 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]