Results 321 to 330 of about 92,734 (332)
Some of the next articles are maybe not open access.

Term rewriting and Hoare logic — Coded rewriting

Information Processing Letters, 1996
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   +6 more
semanticscholar   +1 more source

Rewriting

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

Home - About - Disclaimer - Privacy