( en | de | ru )

 

Disambiguation of "de la Tour, Thierry Boy"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Parallel Graph Rewriting and Quotient Graphs.

, and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 1-18. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dana de La Fontaine

Christian de La Motte

Véronique de La Giroday

Jork de La Fontaine

Inés de la Cuadra

 

Other publications of authors with the same name

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans., and . CoRR, (2019)Ground Resolution with Group Computations on Semantic Symmetries.. CADE, volume 1104 of Lecture Notes in Computer Science, page 478-492. Springer, (1996)An Optimality Result for Clause Form Translation.. J. Symb. Comput., 14 (4): 283-302 (1992)Properties of Constrained Generalization Algorithms.. GCAI, volume 50 of EPiC Series in Computing, page 64-77. EasyChair, (2017)Parallel rewriting of attributed graphs., and . Theor. Comput. Sci., (2020)Building Proofs by Analogy via the Curry-Horward Isomorphism., and . LPAR, volume 624 of Lecture Notes in Computer Science, page 202-213. Springer, (1992)Minimizing the Number of Clauses by Renaming.. CADE, volume 449 of Lecture Notes in Computer Science, page 558-572. Springer, (1990)On the Complexity of Finite Sorted Algebras.. FTP (LNCS Selection), volume 1761 of Lecture Notes in Computer Science, page 95-108. Springer, (1998)Monographs, a Category of Graph Structures.. WADT, volume 12669 of Lecture Notes in Computer Science, page 54-74. Springer, (2020)Combining Parallel Graph Rewriting and Quotient Graphs., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 1-18. Springer, (2020)