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