A Note on the Undecidability of Quantified Announcements
この論文をさがす
収録刊行物
-
- Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science
-
Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science (285), 1-7, 2019-03
Tokyo : Dept. of Mathematical and Computing Sciences