Počet záznamů: 1
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- 1.Bílková, Marta
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.
Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
[TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
http://hdl.handle.net/11104/0196432
Počet záznamů: 1