The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weaklate open congruence. Complete systems are given for both congruence relations. These systems use some new tau laws. The results of this paper correct some popular mistakes in literature. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Fu, Y., & Yang, Z. (2000). Chi calculus with mismatch. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1877 LNCS, pp. 596–610). Springer Verlag. https://doi.org/10.1007/3-540-44618-4_42
Mendeley helps you to discover research relevant for your work.