David Sprunger
发表
David Sprunger,
2016,
CMCS.
David Sprunger,
Ichiro Hasuo,
Akihisa Yamada,
2019,
TACAS.
David Sprunger,
2020,
ArXiv.
Bart Jacobs,
David Sprunger,
2019,
ArXiv.
David Sprunger,
Shin-ya Katsumata,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Lawrence S. Moss,
David Sprunger,
2017,
CALCO.
David Sprunger,
2018,
J. Log. Algebraic Methods Program..
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
CMCS.
Lawrence S. Moss,
David Sprunger,
Jörg Endrullis,
2014,
Developments in Language Theory.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2018,
ArXiv.
Bart Jacobs,
David Sprunger,
B. Jacobs,
2018,
MFPS.
Lawrence S. Moss,
David Sprunger,
Jörg Endrullis,
2014,
ArXiv.
David Sprunger,
2013,
MFPS.
David Sprunger,
Alison Langdon,
2015
.
David Sprunger,
Ichiro Hasuo,
Akihisa Yamada,
2019,
HSCC.
Dan R. Ghica,
David Sprunger,
Fabio Zanasi,
2021,
CSL.
David Sprunger,
Ichiro Hasuo,
Shin-ya Katsumata,
2021,
J. Log. Comput..
Dan R. Ghica,
David Sprunger,
George Kaye,
2022
.