Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1805-03852
AU - Seligman, Jeremy
AU - Wang, Yanjing
TI - Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names.
JO - CoRR
VL - abs/1805.03852
PY - 2018//
UR - http://arxiv.org/abs/1805.03852
ER -