Number of the records: 1
Uniform interpolation via nested sequents and hypersequents
- 1.
SYSNO 0582406 Title Uniform interpolation via nested sequents and hypersequents Author(s) Van Der Giessen, I. (NL)
Jalali, Raheleh (UIVT-O)
Kuznets, R. (AT)Issue data Cornell: Cornell University, 2021 Edition arXiv.org e-Print archive , arXiv:2105.10930 Document Type Výzkumná zpráva Language eng Country US Other sources https://arxiv.org/abs/2105.10930 URL https://arxiv.org/abs/2201.05106 Permanent Link https://hdl.handle.net/11104/0350479
Number of the records: 1