( en | de | ru )

 

Disambiguation of "Echahed, Rachid"

Author of the publication

copydeleteadd this publication to your clipboard
A Superposition-Based Calculus for Diagrammatic Reasoning.

, , , and . PPDP, page 10:1-10:13. ACM, (2021)

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.

Rachid Echahed

Rachid Maaledj

Rachid Sraieb

Rachid Benacer

Rachid Boulaaouin

 

Other publications of authors with the same name

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs., , and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 164-178. Springer, (2014)On Completeness of Narrowing Strategies.. Theor. Comput. Sci., 72 (2&3): 133-146 (1990)Combining Parallel Graph Rewriting and Quotient Graphs., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 1-18. Springer, (2020)The PBPO graph transformation approach., , , , and . J. Log. Algebraic Methods Program., (2019)True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans., and . CoRR, (2019)Verifying Graph Transformations with Guarded Logics., , and . TASE, page 124-131. IEEE Computer Society, (2018)A Rule-Based Procedure for Graph Query Solving., , and . ICGT, volume 13961 of Lecture Notes in Computer Science, page 163-183. Springer, (2023)All You Need Is CONSTRUCT., , and . CoRR, (2020)Algebraic graph rewriting with controlled embedding., , , , and . Theor. Comput. Sci., (2020)Preface.. WFLP@RDP, volume 216 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2007)