( en | de | ru )

 

Disambiguierung von "Duval, Dominique"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Relative Hilbert-Post Completeness for Exceptions.

, , , , und . MACIS, Volume 9582 von Lecture Notes in Computer Science, Seite 596-610. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sébastien Duval

Paulette Duval

Maud Duval

Fern Park Duvall

Sophie Duval

 

Weitere Publikationen von Autoren mit dem selben Namen

An Algebraic Graph Transformation Approach for RDF and SPARQL., , und . GCM@STAF, Volume 330 von EPTCS, Seite 55-70. (2020)Simultaneous Computations in Fields of Different Characteristics.. Computers and Mathematics, Seite 321-326. Springer, (1989)Querying RDF Databases with Sub-CONSTRUCTs., , und . SCSS, Volume 342 von EPTCS, Seite 49-64. (2021)Deduction as Reduction, from a Categorical Point of View.. Logica Universalis, 7 (3): 275-289 (2013)A Rule-Based Procedure for Graph Query Solving., , und . ICGT, Volume 13961 von Lecture Notes in Computer Science, Seite 163-183. Springer, (2023)Logical Rules as Fractions and Logics as Sketches.. Logica Universalis, 14 (3): 395-405 (2020)Symbolic Graph Query Solving., und . SCSS, Volume 14991 von Lecture Notes in Computer Science, Seite 96-113. Springer, (2024)Examples of Problem Solving Using Computer Algebra., und . Programming Environments for High-Level Scientific Problem Solving, Volume A-2 von IFIP Transactions, Seite 133-143. North-Holland, (1991)Towards Diagrammatic Specifications of Symbolic Computation Systems., , , und . Mathematics, Algorithms, Proofs, Volume 05021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Absolute Factorization of Polynomials: A Geometric Approach.. SIAM J. Comput., 20 (1): 1-21 (1991)