This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the
This paper presents a simple complete K-level tree (CKT) architecture for text database organization and rapid data filtering. A database is constructed as a CK