17. RTA 2006: Seattle, WA, USA

FLoC Plenary Talk

Session 1. Constraints and Optimization

Session 2. Equational Reasoning

Session 3. System Verification

Invited Talk

Session 4. Lambda Calculus

Session 5. Theorem Proving

Session 6. System Descriptions

Invited Talk

Session 6. System Descriptions

Session 8. Higher-Order Rewriting and Unification