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. arXiv.org e-Print archive, arXiv:2105.10930. Available: doi: 10.48550/arXiv.2105.10930.
Number of the records: 1