RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012

: Halava Vesa, Karhumäki Juhani, Matiyasevich Yuri

: 2012

: TUCS Lecture Notes

: 17

: 978-952-12-2783-7

: 1797-8831