Search

Your search keyword '"Ilcinkas, David"' showing total 2 results
Start Over Author "Ilcinkas, David" Publication Year Range This year
2 results on '"Ilcinkas, David"'

1. A State-of-the-Art Karp-Miller Algorithm Certified in Coq

Author

Hilaire, Thibault, Ilcinkas, David, Leroux, Jérôme, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Finkbeiner, Bernd, editor, and Kovács, Laura, editor

Published
2024
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results