Principal filters definable by parameters in E::bT::

Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang. Principal filters definable by parameters in E::bT::. Mathematical Structures in Computer Science, 19(1):153-167, 2009. [doi]

Abstract

Abstract is missing.