Novitzká, V., & Verbová, A. On optimizing proof search in linear logic by value iteration method.
Chicago Style (17th ed.) CitationNovitzká, Valerie, and Anita Verbová. On Optimizing Proof Search in Linear Logic by Value Iteration Method.
MLA (9th ed.) CitationNovitzká, Valerie, and Anita Verbová. On Optimizing Proof Search in Linear Logic by Value Iteration Method.
Warning: These citations may not always be 100% accurate.
