Počet záznamů: 1
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- 1.Bílková, M. A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. In: BEZHANISHVILI, N., LÖBNER, S., SCHWABE, K., SPADA, L., eds. Logic, Language, and Computation. Berlin: Springer, 2011, s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-642-22303-7_3
Počet záznamů: 1