Results 231 to 240 of about 37,049 (259)
Some of the next articles are maybe not open access.
An overview of Rewrite Rule Laboratory (RRL)
Computers and Mathematics With Applications, 1995D Kapur
exaly
Symbol different term rewrite systems
Journal of Logical and Algebraic Methods in Programming, 2015Sándor Vágvölgyi
exaly
Rewrite-Based Satisfiability Procedures for Recursive Data Structures
Electronic Notes in Theoretical Computer Science, 2007Maria Paola Bonacina
exaly
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
Electronic Notes in Theoretical Computer Science, 2004Vojtech Rehak, Jan Strejček
exaly
Proving geometry theorems with rewrite rules
Journal of Automated Reasoning, 1986Shang-Ching Chou, Chou Shang-Ching
exaly
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996openaire +1 more source