From Search to Computation: Redundancy Criteria and Simplification at Work - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach. From Search to Computation: Redundancy Criteria and Simplification at Work. In Andrei Voronkov, Christoph Weidenbach, editors, Programming Logics - Essays in Memory of Harald Ganzinger. Volume 7797 of Lecture Notes in Computer Science, pages 169-193, Springer, 2013. [doi]

This author has not been identified. Look up 'Thomas Hillenbrand' in GoogleThis author has not been identified. Look up 'Ruzica Piskac' in GoogleThis author has not been identified. Look up 'Uwe Waldmann' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL