Results 321 to 330 of about 92,734 (332)

Term rewriting and Hoare logic — Coded rewriting

Information Processing Letters, 1996
openaire   +1 more source

Rewriting the Self

, 2017
M. Freeman
semanticscholar   +1 more source

Rewriting Sisyphus:

2018
openaire   +1 more source

All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude, 2007
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott   +6 more
semanticscholar   +1 more source

Rewriting

2019
openaire   +2 more sources

Rewriting

2017
  +4 more sources

Rewriting

2001
Nachum Dershowitz, David A. Plaisted
openaire   +1 more source

Rewriting

2015
openaire   +1 more source

Rewriting homilies and homilies rewriting

openaire   +1 more source

Rewriting

2012
openaire   +1 more source