Author:Rachid Echahed
KeyphrasesConfluent Rewrite Relations, dynamic logic, graph rewriting, Hoare logic, Overlapping Rewrite Systems, Parallel Rewriting, program verification. |
![]() | ||||
| ||||
Copyright © 2012-2025 easychair.org. 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: