Graph explorer

Dominique Duval

Dominique Duval contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapDominique Duval
13 nodes12 links
Dominique Duval13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipADominique DuvalResearcherWOn foundational aspects...preprint / 2020WDeduction as Reductionpreprint / 2010WCategorical Abstract Re...preprint / 2011WGraph rewriting with po...preprint / 2012WScalability using effectspreprint / 2013WTransformation of Attri...preprint / 2014WA duality between excep...preprint / 2011WStates and exceptions c...preprint / 2011WDecorated proofs for co...preprint / 2012WAdjunctions for exceptionspreprint / 2012WDecorated proofs for co...preprint / 2012WFormal verification in ...preprint / 2013
PersonSignal 1012 links

Dominique Duval

Researcher

Open