Finite Identification with Positive and with Complete Data

Dick De Jongh, Ana Lucia Vargas Sandoval. Finite Identification with Positive and with Complete Data. In Alexandra Silva 0001, Sam Staton, Peter Sutton, Carla Umbach, editors, Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers. Volume 11456 of Lecture Notes in Computer Science, pages 42-63, Springer, 2017. [doi]

Abstract

Abstract is missing.