Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting
In
Leibniz International Proceedings in Information, (2022)Felty, A.P. (ed.), FSCD 2022: 7th International Conference on Formal Structures for Computation and Deduction, August 2-5, 2022, Haifa, Israel, pp. 1:1-1:17Annotation
FSCD 2022
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Felty, A.P.
Organization
Software Science
Journal title
Leibniz International Proceedings in Information
Book title
Felty, A.P. (ed.), FSCD 2022: 7th International Conference on Formal Structures for Computation and Deduction, August 2-5, 2022, Haifa, Israel
Page start
p. 1:1
Page end
p. 1:17
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [245054]
- Electronic publications [132354]
- Faculty of Science [37365]
- Open Access publications [105962]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.