Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. Felgenhauer, B. CoRR, 2017.
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. [link]Link  Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. [link]Paper  bibtex   
@article{journals/corr/abs-1710-10991,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Felgenhauer, Bertram},
  biburl = {https://www.bibsonomy.org/bibtex/253e546c7d4171fca1e3498992a3a4234/dblp},
  ee = {http://arxiv.org/abs/1710.10991},
  interhash = {ff6dac7d2826d0d2f125d6ef538013d2},
  intrahash = {53e546c7d4171fca1e3498992a3a4234},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T14:47:09.000+0200},
  title = {Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-10991},
  volume = {abs/1710.10991},
  year = 2017
}

Downloads: 0