Login / Signup

Common Knowledge Logic in a Higher Order Proof Assistant.

Pierre Lescanne
Published in: Programming Logics (2013)
Keyphrases