Ha Hoang, Ladislav J. Kohout. Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations. In FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings. pages 1-6, IEEE, 2007. [doi]
@inproceedings{HoangK07, title = {Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations}, author = {Ha Hoang and Ladislav J. Kohout}, year = {2007}, doi = {10.1109/FUZZY.2007.4295622}, url = {http://dx.doi.org/10.1109/FUZZY.2007.4295622}, researchr = {https://researchr.org/publication/HoangK07}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings}, publisher = {IEEE}, }