共 50 条
- [34] On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics εL, εL+ AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 419 - 437
- [40] Interpolation by polynomial functions of distributive lattices: a generalization of a theorem of R. L. Goodstein Algebra universalis, 2013, 69 : 287 - 299