9. FroCos 2013: Nancy, France

Refine list

showing all ?? records

Invited Talk 1

Inductive Theorem Proving

Arrays and Memory Access Optimization

Approximation and Forgetting

Invited Talk 2

Temporal and Description Logic Techniques

Invited Talk 3

Theorem Proving with Theories and Sorts

Invited Talk 4

Modal Logic and Description Logic

Rewriting

a service of  Schloss Dagstuhl - Leibniz Center for Informatics