On Generating Small Clause Normal Forms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Nonnengart, Georg Rock, Christoph Weidenbach. On Generating Small Clause Normal Forms. In Claude Kirchner, Hélène Kirchner, editors, Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings. Volume 1421 of Lecture Notes in Computer Science, pages 397-411, Springer, 1998. [doi]

This author has not been identified. Look up 'Andreas Nonnengart' in GoogleThis author has not been identified. Look up 'Georg Rock' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL