Results 311 to 320 of about 333,009 (323)
Some of the next articles are maybe not open access.
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996openaire +1 more source
Term rewriting and Hoare logic — Coded rewriting
Information Processing Letters, 1996