A Modern Interpreter of Predicate Linear Logic Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zuzana Bilanová' in GoogleThis author has not been identified. Look up 'Ján Perhác' in GoogleThis author has not been identified. Look up 'Michal Hulic' in Google

runs on WebDSL