cl-banner

Confluence Competition 2015

Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl

Proceedings of the 25th International Conference on Automated Deduction (CADE-25), Lecture Notes in Artificial Intelligence 9195, pp. 101 – 104, 2015.

Abstract

Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

 

  PDF |    doi:10.1007/978-3-319-21401-6_5  |  © Springer International Publishing Switzerland

BibTeX 

@inproceedings{TANHJNNNHZ-CADE15,
author = "Takahito Aoto and Nao Hirokawa and Julian Nagele and Naoki Nishida and Harald Zankl",
title = "Confluence Competition 2015",
booktitle = "Proceedings of the 25th International Conference on Automated Deduction (CADE-25)",
editor = "Amy Felty and Aart Middeldorp",
series = "Lecture Notes in Artificial Intelligence",
volume = 9195,
pages = "101--104",
year = 2015,
doi = "10.1007/978-3-319-21401-6_5"
}
Nach oben scrollen