Author:Rachid Echahed

Publications
Parallel Graph Rewriting with Overlapping Rules Rachid Echahed and Aude Maignan In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions Jon Hael Brenas, Rachid Echahed and Martin Strecker In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017

Keyphrases

Confluent Rewrite Relations, dynamic logic, graph rewriting, Hoare logic, Overlapping Rewrite Systems, Parallel Rewriting, program verification.

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies: