Login / Signup

Decomposability Helps for Deciding Logics of Knowledge and Belief.

Stefan Arnborg
Published in: Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Keyphrases