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]

Authors

Angsheng Li

This author has not been identified. Look up 'Angsheng Li' in Google

Weilin Li

This author has not been identified. Look up 'Weilin Li' in Google

Yicheng Pan

This author has not been identified. Look up 'Yicheng Pan' in Google

Linqing Tang

This author has not been identified. Look up 'Linqing Tang' in Google