Dominique Duval

Available identifiers

zbMath Open duval.dominiqueMaRDI QIDQ382411

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5021220	2022-01-12	Paper
Logical rules as fractions and logics as sketches	2020-09-10	Paper
Algebraic graph rewriting with controlled embedding	2019-11-22	Paper
The PBPO graph transformation approach	2019-03-27	Paper
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches	2018-04-04	Paper
Death of Marc Rybowicz, aged 52	2017-06-21	Paper
Parallelism in AGREE Transformations	2016-09-05	Paper
Relative Hilbert-Post Completeness for Exceptions	2016-05-25	Paper
AGREE – Algebraic Graph Rewriting with Controlled Embedding	2015-09-22	Paper
Modeling Pointer Redirection as Cyclic Term-graph Rewriting	2013-12-20	Paper
Deduction as reduction, from a categorical point of view	2013-11-19	Paper
Scalability using effects	2013-07-01	Paper
Graph Transformation with Focus on Incident Edges	2012-10-02	Paper
A duality between exceptions and states	2012-09-06	Paper
A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW	2012-08-30	Paper
Adjunctions for exceptions	2012-07-05	Paper
Decorated proofs for computational effects: Exceptions	2012-03-13	Paper
A duality between exceptions and states	2011-12-11	Paper
Decorated proofs for computational effects: States	2011-12-11	Paper
Cartesian effect categories are Freyd-categories	2011-03-14	Paper
Deduction as Reduction	2010-11-05	Paper
Diagrammatic logic applied to a parameterisation process	2010-08-26	Paper
A Heterogeneous Pushout Approach to Term-Graph Transformation	2009-06-30	Paper
Adjunction for Garbage Collection with Application to Graph Rewriting	2008-01-02	Paper
Diagrammatic specifications	2004-09-06	Paper
Sketches and computations over fields.	2003-05-27	Paper
Dynamic evaluation and real closure.	2003-05-27	Paper
Dynamic evaluation and algebraic closure in Axiom	1996-11-25	Paper
Algebraic numbers: An example of dynamic evaluation	1995-06-08	Paper
Sketches and computation – I: basic definitions and static evaluation	1994-08-14	Paper
Sketches and computation – II: dynamic evaluation and applications	1994-08-14	Paper
Sketches and parametrization	1994-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4026754	1993-02-21	Paper
Absolute Factorization of Polynomials: A Geometric Approach	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470107	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476962	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786545	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732535	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3737555	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346430	1984-01-01	Paper
Sur la structure galoisienne du groupe des unites d'un corps abelien réel de type (p,p)	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3682651	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominique Duval