Results 71 to 80 of about 5,682 (120)
Sémantique algébrique des ressources pour la logique classique
, 2011 The general theme of this thesis is the exploitation of the fruitful interaction between denotational semantics and syntax. Satisfying semantics have been discovered for proofs in intuitionistic and certain linear logics, but for the classical case ...
Novakovic, Novak
core
[Entre dynamique d'amélioration de la qualité des soins et conformisme administratif : comportements des établissements de santé français face au paiement à la performance (P4P)]. [PDF]
Healthc Policy, 2019 Girault A +3 more
europepmc +1 more source
[≪ If it's not documented, it's not done ≫: Management indicators of workload can leave women's work invisible]. [PDF]
PISTES, 2016 Chadoin M +3 more
europepmc +1 more source
[8th international congress of the Société de pathologie exotique, Viantiane, Laos, January 25-28, 2010: Health challenges in Southeast Asia]. [PDF]
Bull Soc Pathol Exot, 2010 Buisson Y.
europepmc +1 more source