Identifiant pérenne de la notice : 253132088
Notice de type
Personne
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)
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial