Login / Signup

Compositional Reasoning for Multi-modal Logics.

Luca AcetoAnna IngólfsdóttirCristian PrisacariuJoshua Sack
Published in: LFCS (2013)
Keyphrases