5th IJCAR 2010: Edinburgh, UK

Refine list

showing all ?? records

Logical Frameworks and Combination of Systems

Description Logic I

Higher-Order Logic

Invited Talk

Verification

First-Order Logic

Non-Classical Logic

Induction

Decision Procedures

Keynote Talk

Arithmetic

Invited Talk

Applications

Description Logic II

Termination

a service of  Schloss Dagstuhl - Leibniz Center for Informatics