cl-banner

Efficiently Deciding Uniqueness of Normal Forms and Unique Normalization for Ground TRSs

Bertram Felgenhauer

Proceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 16 – 20, 2016.

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.

 

  PDF

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
}
Nach oben scrollen