Results 251 to 260 of about 15,524 (267)
Some of the next articles are maybe not open access.
Decidability for Left-Linear Growing Term Rewriting Systems
Information and Computation, 2002Yoshihito Toyama
exaly
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Electronic Notes in Theoretical Computer Science, 2007Raúl Gutierrez, Salvador Lucas
exaly
Normal forms and normal theories in conditional rewriting
Journal of Logical and Algebraic Methods in Programming, 2016Salvador Lucas, JOSÉ Meseguer
exaly
A Rewriting Calculus for Multigraphs with Ports
Electronic Notes in Theoretical Computer Science, 2008Oana Andrei, Hélène Kirchner
exaly
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science, 2007Alin Deutsch
exaly
Accountable Fine-Grained Blockchain Rewriting in the Permissionless Setting
IEEE Transactions on Information Forensics and SecurityYangguang Tian +2 more
exaly