Author:
Steingartner William,Yar-Muhamedov Iskender
Publisher
Czestochowa University of Technology
Subject
General Earth and Planetary Sciences,General Environmental Science
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Web-Based Interpreter of the $\lambda$-Calculus;2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY);2023-09-21
2. On some innovations in teaching the formal semantics using software tools;Open Computer Science;2020-12-17
3. Software visualization of natural semantics of imperative languages - a teaching tool;2019 IEEE 15th International Scientific Conference on Informatics;2019-11