Reachability and Confluence Are Undecidable for Flat Term Rewriting Systems (2003)

Cached

Download Links

by Florent Jacquemard
Citations:12 - 2 self