Shkilnyak, O. (2025). Sequent calculi of composition nominative modal logics of functional-equational level. PROBLEMS IN PROGRAMMING.
Chicago Style (17th ed.) CitationShkilnyak, O.S. Sequent Calculi of Composition Nominative Modal Logics of Functional-equational Level. PROBLEMS IN PROGRAMMING, 2025.
MLA (8th ed.) CitationShkilnyak, O.S. Sequent Calculi of Composition Nominative Modal Logics of Functional-equational Level. PROBLEMS IN PROGRAMMING, 2025.
Warning: These citations may not always be 100% accurate.