Výsledky vyhledávání
- 1.0471990 - ÚI 2017 RIV GB eng M - Část monografie knihy
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
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: uniform interpolation * provability logics * analytical calculi * terminating calculi
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0269350