Searching for "Using SOS Definitions in Term Rewriting Proofs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
… Aspects of Computing, 1(2):147--171, 1989. [9] Karl-Heinz Buth. Using SOS definitions in term-rewriting…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB