Reachability in Conditional Term Rewriting Systems
From MaRDI portal
Publication:4916227
DOI10.1016/S1571-0661(04)80658-3zbMath1261.68099MaRDI QIDQ4916227
Thomas Genet, Guillaume Feuillade
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, Reachability in Conditional Term Rewriting Systems, Unnamed Item, Reachability analysis over term rewriting systems, Sentence-normalized conditional narrowing modulo in rewriting logic and Maude, Reversible computation in term rewriting, Some decidability results on one-pass reductions
Uses Software
Cites Work