Shevchenko, R., & Doroshenko, A. (2025). -calculus as a realistic formalization of a class of rewriting systems. PROBLEMS IN PROGRAMMING.
Chicago Style (17th ed.) CitationShevchenko, R.S, and A.Yu Doroshenko. -calculus as a Realistic Formalization of a Class of Rewriting Systems. PROBLEMS IN PROGRAMMING, 2025.
MLA (8th ed.) CitationShevchenko, R.S, and A.Yu Doroshenko. -calculus as a Realistic Formalization of a Class of Rewriting Systems. PROBLEMS IN PROGRAMMING, 2025.
Warning: These citations may not always be 100% accurate.