Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

Page

Web

Wiki

Strategies In Automated Deduction

Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.logic.at/strategies/

Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies.