Production year

Number of documents

2


2003   

Journal articles2 documents

  • Hubert Comon-Lundh, Florent Jacquemard. Ground Reducibility is EXPTIME-complete. Information and Computation, Elsevier, 2003, 187 (1), pp.123-153. ⟨inria-00578859⟩
  • Florent Jacquemard. Reachability and confluence are undecidable for flat term rewriting systems. Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270. ⟨inria-00578875⟩