Standard
Confluence of an extension of combinatory logic by Boolean constants. / Czajka, Łukasz.
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. ed. / Dale Miller. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. 14 (Leibniz International Proceedings in Informatics, Vol. 84).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Czajka, Ł 2017,
Confluence of an extension of combinatory logic by Boolean constants. in D Miller (ed.),
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017., 14, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, vol. 84, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Oxford, United Kingdom,
03/09/2017.
https://doi.org/10.4230/LIPIcs.FSCD.2017.14APA
Czajka, Ł. (2017).
Confluence of an extension of combinatory logic by Boolean constants. In D. Miller (Ed.),
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017 [14] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics Vol. 84
https://doi.org/10.4230/LIPIcs.FSCD.2017.14Vancouver
Czajka Ł.
Confluence of an extension of combinatory logic by Boolean constants. In Miller D, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2017. 14. (Leibniz International Proceedings in Informatics, Vol. 84).
https://doi.org/10.4230/LIPIcs.FSCD.2017.14Author
Czajka, Łukasz. / Confluence of an extension of combinatory logic by Boolean constants. 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. editor / Dale Miller. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. (Leibniz International Proceedings in Informatics, Vol. 84).
Bibtex
@inproceedings{59708a76735543dda09c752db30e5599,
title = "Confluence of an extension of combinatory logic by Boolean constants",
abstract = "We show confluence of a conditional term rewriting system CL-pc1, which is an extension of Combinatory Logic by Boolean constants. This solves problem 15 from the RTA list of open problems. The proof has been fully formalized in the Coq proof assistant.",
keywords = "Combinatory logic, Conditional linearization, Confluence, Unique normal form property",
author = "{\L}ukasz Czajka",
year = "2017",
month = sep,
day = "1",
doi = "10.4230/LIPIcs.FSCD.2017.14",
language = "English",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Dale Miller",
booktitle = "2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017",
note = "2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017 ; Conference date: 03-09-2017 Through 09-09-2017",
}
RIS
TY - GEN
T1 - Confluence of an extension of combinatory logic by Boolean constants
AU - Czajka, Łukasz
PY - 2017/9/1
Y1 - 2017/9/1
N2 - We show confluence of a conditional term rewriting system CL-pc1, which is an extension of Combinatory Logic by Boolean constants. This solves problem 15 from the RTA list of open problems. The proof has been fully formalized in the Coq proof assistant.
AB - We show confluence of a conditional term rewriting system CL-pc1, which is an extension of Combinatory Logic by Boolean constants. This solves problem 15 from the RTA list of open problems. The proof has been fully formalized in the Coq proof assistant.
KW - Combinatory logic
KW - Conditional linearization
KW - Confluence
KW - Unique normal form property
UR - http://www.scopus.com/inward/record.url?scp=85030563085&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.FSCD.2017.14
DO - 10.4230/LIPIcs.FSCD.2017.14
M3 - Article in proceedings
AN - SCOPUS:85030563085
T3 - Leibniz International Proceedings in Informatics
BT - 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017
A2 - Miller, Dale
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017
Y2 - 3 September 2017 through 9 September 2017
ER -
