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 - 2.0358356 - ÚI 2012 CZ eng M - Část monografie knihy
Bílková, Marta
Normal Forms, Distributive Laws, and Uniform Interpolants.
Consequence, Inference, Structure. Praha: FF UK, 2008 - (Bílková, M.), s. 35-52. Miscellanea Logica, 7. ISBN 978-80-7308-261-1
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0196430 - 3.0047821 - ÚI 2008 RIV NL eng M - Část monografie knihy
Bílková, Marta - Goris, E. - Joosten, J.J.
Smart Labels.
[Chytré značkování.]
Liber Amicorum for Dick de Jongh. Amsterdam: University of Amsterdam, 2004 - (Afanasiev, L.; Marx, M.), s. 1-9. ISBN 90-5776-1289
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: interpretability * interpretability logic * modal logic * completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138615