Abstract

We present an almost linear time algorithm for deciding uniqueness of normal forms for ground TRSs, and a cubic time algorithm for deciding unique normalization for ground TRSs.

BibTeX

@inproceedings{BF-IWC16,
  author    = "Bertram Felgenhauer",
  title     = "Efficiently Deciding Uniqueness of Normal Forms and Unique
               Normalization for Ground TRSs",
  booktitle = "Proceedings of the 5th International Workshop on Confluence",
  editor    = "Beniamino Accattoli and Ashish Tiwari",
  pages     = "16--20",
  year      = 2016
}