Unification for Subformula Linking under Quantifiers
Loading...
Date
Authors
Mulder, I.N. Ike
Krebbers, R.J.
Journal Title
Journal ISSN
Volume Title
Publisher
Zenodo
Abstract
This is the artifact for the CPP '24 paper 'Unification for Subformula Linking under Quantifiers'. It contains formalizations of section 3.3 and section 4, as well as patches for Iris's improved version of iFrame.