Author:
Perhac Jan,Bilanova Zuzana
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Proof Assistant Based on Resolution Method in First Order Logic;2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES);2024-07-17
2. Interactive Web-Based Interpreter of the $\lambda$-Calculus;2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY);2023-09-21
3. Visualization of imperative programs translation with Structural Operational Semantics;2022 IEEE 16th International Scientific Conference on Informatics (Informatics);2022-11-23
4. Software tool for supporting the experiential teaching of selected methods of formal semantics;2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA);2021-11-11