On the Difference of Horn Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino. On the Difference of Horn Theories. In Christoph Meinel, Sophie Tison, editors, STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings. Volume 1563 of Lecture Notes in Computer Science, pages 467-477, Springer, 1999. [doi]

This author has not been identified. Look up 'Thomas Eiter' in GoogleThis author has not been identified. Look up 'Toshihide Ibaraki' in GoogleThis author has not been identified. Look up 'Kazuhisa Makino' in Google

runs on WebDSL