MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination of Order-sorted Rewriting." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Termination of Order-Sorted Rewriting
by Peter C. Olveczky
…Termination of order-sorted rewriting Peter C. lveczky Department of Informatics University of Oslo…
Add To MetaCart

Termination of Order-Sorted Rewriting with Non-Minimal Signatures Yoshinobu KAWABE
by Nonmember And Naohiro, Yoshinobu Kawabe, Naohiro Ishii
… SUMMARY In this paper, we extend the Gnaedig's results [2][3] on termination of order-sorted rewriting…
Add To MetaCart

Order-Sorted Termination: the Unsorted Way
by Peter Csaba Ölveczky, Olav Lysne — 1996 — In Proceedings from NIK'95: Norwegian Conference on Informatics, Gran (Hadeland
… termination of ordersorted rewrite systems. The dominating method for proving termination of order-sorted…
Cited by 2 (0 self) – Add To MetaCart

The Advanced Theory of
by Peter D. Mosses (editor, Copyright C, Peter D. Mosses (editor, Peter D. Mosses (editor — 1979 — Kendall, Statistics
… case study in timed modal specification C. Weise Termination of order-sorted rewriting P. Ølveczky…
Cited by 1 (0 self) – Add To MetaCart

Proc. of the 6th Nordic Workshop on Programming Theory, 17-19 October 1994, Aarhus, Denmark
by Peter D. Mosses (editors), Uffe H. Engberg, Uffe H. Engberg, Kim G. Larsen, Kim G. Larsen, Peter D. Mosses — 1994
… H. R. Nielson and F. Nielson Termination of order-sorted rewriting 286 P. C. lveczky A type…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB