Results 251 to 259 of about 37,049 (259)

Rewriting the Past:

2018
openaire   +1 more source

Non-linear Rewrite Closure and Weak Normalization

2009
Carles Creus, Guillem Godoy, Francesc Massanés   +2 more
exaly  

Rewriting Corner

Journal of Logic and Computation, 2008
openaire   +2 more sources

Rewrite Rules

2010
exaly  

Rewriting myself

Nurse Education Today, 1999
openaire   +2 more sources

Clausal rewriting

1991
Robert Nieuwenhuis, Fernando Orejas
openaire   +1 more source

Rewriting Sisyphus:

2018
openaire   +1 more source

Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting.

Arch. Formal Proofs
openaire   +1 more source

Rewriting homilies and homilies rewriting

openaire   +1 more source