paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 253132088Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Chaudhuri, Kaustuv (19..-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Date de naissance :    19XX

Identifiants externes

Identifiant HAL : kaustuv

Source

Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller. A Multi-Focused Proof System Isomorphic to Expansion Proofs. Journal of Logic and Computation, Oxford University Press (OUP), 2014. (hal-00937056)

... Références liées : ...