default search action
6th STRATEGIES@IJCAR 2006: Seattle, WA, USA
- Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007 - Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Preface. 1-2 - Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Deduction, Strategies, and Rewriting. 3-25 - Maria Paola Bonacina, Mnacho Echenim:
Rewrite-Based Decision Procedures. 27-45 - Florent Kirchner, César A. Muñoz:
PVS#: Streamlined Tacticals for PVS. 47-58 - Hongping Lim, Myla Archer:
Translation Templates to Support Strategy Development in PVS. 59-79
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.