Rozplokhas, Dmitry
- Certified Semantics for Relational Programming
2020/05/03 by Rozplokhas, Dmitry, Vyatkin, Andrey, Boulytchev, Dmitry · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Streamlining Input/Output Logics with Sequent Calculi
2023/06/15 by Ciabattoni, Agata, Rozplokhas, Dmitry · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)