Shkilniak, О., & Shkilniak, S. (2023). First-order sequent calculi of logics of quasiary predicates with extended renominations and equality. PROBLEMS IN PROGRAMMING. https://doi.org/10.15407/pp2022.03-04.011
Chicago-Zitierstil (17. Ausg.)Shkilniak, О.S, und S.S Shkilniak. First-order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. PROBLEMS IN PROGRAMMING, 2023. https://doi.org/10.15407/pp2022.03-04.011.
MLA-Zitierstil (8. Ausg.)Shkilniak, О.S, und S.S Shkilniak. First-order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. PROBLEMS IN PROGRAMMING, 2023. https://doi.org/10.15407/pp2022.03-04.011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.