Scheduling Complexity of Interleaving Search

von Rozplokhas, Dmitry
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

Certified Semantics for Relational Programming

von Rozplokhas, Dmitry
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)