Dmitry Rozplokhas

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

State Transition

Sequent Calculi

Default Reasoning

Programming Language Constructs

Top Venues

Publications

Dmitry Rozplokhas
LEGO-like Small-Model Constructions for Åqvist's Logics. CoRR (2024)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Analytic Proof Theory for Åqvist's System F. DEON (2023)
Agata Ciabattoni, Dmitry Rozplokhas
Streamlining Input/Output Logics with Sequent Calculi. KR (2023)
Agata Ciabattoni, Dmitry Rozplokhas
Streamlining Input/Output Logics with Sequent Calculi. CoRR (2023)
Dmitry Rozplokhas, Dmitry Boulytchev
Scheduling Complexity of Interleaving Search. CoRR (2022)
Dmitry Rozplokhas, Dmitry Boulytchev
Scheduling Complexity of Interleaving Search. FLOPS (2022)
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
Certified Semantics for Relational Programming. APLAS (2020)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. CoRR (2020)
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
Certified Semantics for Relational Programming. CoRR (2020)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. Theory Pract. Log. Program. 20 (6) (2020)