Search results
- 1.0471990 - ÚI 2017 RIV GB eng M - Monography Chapter
Bílková, Marta
Uniform Interpolation in Provability Logics.
Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications, 2016 - (Eijck van, J.; Iemhoff, R.; Joosten, J.), s. 57-90. Tributes, 30. ISBN 978-1-84890-204-6
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : uniform interpolation * provability logics * analytical calculi * terminating calculi
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0269350