- Infinite Graphs Generated by Tree Rewriting Christof Løding Thu 30 January 2014
- Senescent Ground Tree Rewrite Systems Matthew Hague Sat 28 December 2013
- On Families of Graphs Having a Decidable First Order Theory with Reachability Thomas Colcombet Wed 17 October 2012
- The theory of ground rewrite systems is decidable M. Dauchet S. Tison Fri 28 September 2012
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems Max Dauchet Thierry Heuillard Pierre Lescanne Sophie Tison Fri 28 September 2012
- Proofs and reachability problem for ground rewrite systems J. Coquidé R. Gilleron Fri 28 September 2012
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
