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]
Abstract is missing.