Number of the records: 1
Uniform interpolation via nested sequents and hypersequents
- 1.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
https://hdl.handle.net/11104/0350479
Number of the records: 1