How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin. How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 303-317, Springer, 2007. [doi]

This author has not been identified. Look up 'Yevgeny Kazakov' in GoogleThis author has not been identified. Look up 'Ulrike Sattler' in GoogleThis author has not been identified. Look up 'Evgeny Zolin' in Google

runs on WebDSL