Abstract
We show that it is decidable for any extended ground term rewrite
system R whether there is a ground term rewrite system S such that the
congrunce ↔
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Filter Results
Select search scope: search across all journals or within the current journal
Search this journal
Enter search terms…
/