Ilja Kucevalovs. On Reliability and Refutability in Nonconstructive Identification. In Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos, editors, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Volume 16 of OASICS, pages 62-68, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
Abstract is missing.