Dmitry Boulytchev

From MaRDI portal
Person:2038081



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Typed Relational Conversion
Lecture Notes in Computer Science
2022-12-09Paper
Scheduling complexity of interleaving search
(available as arXiv preprint)
2022-08-10Paper
Certified semantics for relational programming
(available as arXiv preprint)
2021-07-08Paper
Relational synthesis for pattern matching2021-07-08Paper
scientific article; zbMATH DE number 2084355 (Why is no real title available?)2004-08-06Paper


Research outcomes over time


This page was built for person: Dmitry Boulytchev