Number of the records: 1
Blending margins: The modal logic K has nullary unification type
- 1.Jeřábek, E. Blending margins: The modal logic K has nullary unification type. Journal of Logic and Computation. 2015, 25(5), 1231-1240. ISSN 0955-792X. E-ISSN 1465-363X. Available: doi: 10.1093/logcom/ext055.
Number of the records: 1