Results 261 to 270 of about 324,410 (283)
Some of the next articles are maybe not open access.
Verifying Procedural Programs via Constrained Rewriting Induction
ACM Transactions on Computational Logic, 2017Cynthia Kop, Naoki Nishida
exaly
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996openaire +1 more source
Hierarchical Nominal Terms and Their Theory of Rewriting
Electronic Notes in Theoretical Computer Science, 2007Murdoch J Gabbay
exaly
Normal forms and normal theories in conditional rewriting
Journal of Logical and Algebraic Methods in Programming, 2016Salvador Lucas
exaly
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Electronic Notes in Theoretical Computer Science, 2007Raul Gutierrez, Salvador Lucas
exaly
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science, 2007Alin Deutsch
exaly
A Rewriting Calculus for Multigraphs with Ports
Electronic Notes in Theoretical Computer Science, 2008Oana Andrei, Hélène Kirchner
exaly