17th RTA 2006: Seattle, WA, USA

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics