Number of the records: 1
Uniform interpolation via nested sequents and hypersequents
- 1.0582406 - ÚI 2024 US eng V - Research Report
Van Der Giessen, I. - Jalali, Raheleh - Kuznets, R.
Uniform interpolation via nested sequents and hypersequents.
Cornell: Cornell University, 2021. 24 s. arXiv.org e-Print archive, arXiv:2105.10930.
https://arxiv.org/abs/2201.05106
Permanent Link: https://hdl.handle.net/11104/0350479
Research data: Preprint - ArXiv.org
Number of the records: 1