受强制性开放获取政策约束的文章 - Witold Charatonik了解详情
无法在其他位置公开访问的文章：1 篇
A derived reasonable abstract machine for strong call by value
M Biernacka, W Charatonik, T Drab
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
强制性开放获取政策： Narodowe Centrum Nauki
可在其他位置公开访问的文章：3 篇
Complexity of two-variable logic on finite trees
S Benaim, M Benedikt, W Charatonik, E Kieroński, R Lenhardt, ...
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-38, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
The zoo of lambda-calculus reduction strategies, and Coq
M Biernacka, W Charatonik, T Drab
13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
强制性开放获取政策： Narodowe Centrum Nauki
A simple and efficient implementation of strong call by need by an abstract machine
M Biernacka, W Charatonik, T Drab
Proceedings of the ACM on Programming Languages 6 (ICFP), 109-136, 2022
强制性开放获取政策： Narodowe Centrum Nauki
出版信息和资助信息由计算机程序自动确定