Backward Trace Slicing for Rewriting Logic Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. Backward Trace Slicing for Rewriting Logic Theories. In Nikolaj Bjørner, Viorica Sofronie-Stokkermans, editors, Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings. Volume 6803 of Lecture Notes in Computer Science, pages 34-48, Springer, 2011. [doi]

This author has not been identified. It may be one of the following persons:

María Alpuente

Look up 'María Alpuente' in GoogleThis author has not been identified. Look up 'Demis Ballis' in GoogleThis author has not been identified. Look up 'Javier Espert' in GoogleThis author has not been identified. Look up 'Daniel Romero' in Google

runs on WebDSL