202 results on '"Dominique Duval"'
Search Results
2. Dexamethasone enhances glutamine synthetase activity and reduces N-methyl-D-aspartate neurotoxicity in mixed cultures of neurons and astrocytes
3. Decorated proofs for computational effects: States
4. Symbolic Graph Query Solving.
5. A Rule-Based Procedure for Graph Query Solving.
6. Querying RDF Databases with Sub-CONSTRUCTs.
7. An Algebraic Graph Transformation Approach for RDF and SPARQL.
8. Logical Rules as Fractions and Logics as Sketches.
9. Algebraic graph rewriting with controlled embedding.
10. A Rule-based Operational Semantics of Graph Query Languages.
11. On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.
12. The PBPO graph transformation approach.
13. The Pullback-Pushout Approach to Algebraic Graph Transformation.
14. All You Need Is CONSTRUCT.
15. Parallelism in AGREE Transformations.
16. On foundational aspects of RDF and SPARQL.
17. Relative Hilbert-Post Completeness for Exceptions.
18. AGREE - Algebraic Graph Rewriting with Controlled Embedding.
19. Formal verification in Coq of program properties involving the global state effect.
20. Transformation of Attributed Structures with Cloning.
21. Logical rules as fractions and logics as sketches.
22. Graph Transformation with Focus on Incident Edges.
23. A Heterogeneous Pushout Approach to Term-Graph Transformation.
24. Adjunction for Garbage Collection with Application to Graph Rewriting.
25. Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox.
26. Deduction as Reduction, from a Categorical Point of View.
27. Certified Proofs in Programs Involving Exceptions.
28. A duality between exceptions and states.
29. A Parameterization Process: from a Functorial Point of View.
30. Cartesian effect categories are Freyd-categories.
31. Diagrammatic logic applied to a parameterisation process.
32. Hilbert-Post completeness for the state and the exception effects.
33. Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
34. Diagrammatic Specifications.
35. Program certification with computational effects.
36. AGREE - Algebraic Graph Rewriting with Controlled Embedding.
37. Breaking a monad-comonad symmetry between computational effects.
38. Transformation of Attributed Structures with Cloning (Long Version).
39. Examples of Problem Solving Using Computer Algebra.
40. The PBPO graph transformation approach
41. Diagrammatic logic and exceptions: an introduction.
42. Towards Diagrammatic Specifications of Symbolic Computation Systems.
43. A decorated proof system for exceptions.
44. Formal verification in Coq of program properties involving the global state effect.
45. Patterns for computational effects arising from a monad or a comonad.
46. Scalability using effects.
47. Explaining the gender gap in profits among entrepreneurs in Malawi
48. Death of Marc Rybowicz, aged 52.
49. Adjunctions for exceptions
50. Decorated proofs for computational effects: Exceptions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.