Zuzana Bilanová, Ján Perhác, Michal Hulic. A Modern Interpreter of Predicate Linear Logic Formulas. In IEEE 15th International Conference on Computer Sciences and Information Technologies, CSIT 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 2. pages 103-106, IEEE, 2020. [doi]
@inproceedings{BilanovaPH20,
title = {A Modern Interpreter of Predicate Linear Logic Formulas},
author = {Zuzana Bilanová and Ján Perhác and Michal Hulic},
year = {2020},
doi = {10.1109/CSIT49958.2020.9321931},
url = {https://doi.org/10.1109/CSIT49958.2020.9321931},
researchr = {https://researchr.org/publication/BilanovaPH20},
cites = {0},
citedby = {0},
pages = {103-106},
booktitle = {IEEE 15th International Conference on Computer Sciences and Information Technologies, CSIT 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 2},
publisher = {IEEE},
isbn = {978-1-7281-7443-3},
}