共 50 条
- [24] Quantifier Free Definability on Infinite Algebras PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 730 - 738
- [28] Congruences and Quotient Algebras of BCI-algebras FORMALIZED MATHEMATICS, 2007, 15 (04): : 175 - 180