Certified Equational Reasoning via Ordered Completion


BibTeX

@inproceedings{CSSW-CADE19,
author = "Christian Sternagel and Sarah Winkler",
title = "Certified Equational Reasoning via Ordered Completion",
booktitle = "Proceedings of the 27th International Conference on
Automated Deduction",
editor = "Pascal Fontaine",
series = "Lecture Notes in Computer Science",
volume = 11716,
pages = "508--525",
year = 2019,
doi = "10.1007/978-3-030-29436-6_30"
}


Nach oben scrollen