Extended Comptation Tree Logic (Extended Abstract)

類似資料

• An Epistemic Foundation for Authentication Logics (Extended Abstract)
  著者:: Joseph Y. Halpern, 等
  出版事項: (2017-07-01)
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
  著者:: Lawrence Dunn, 等
  出版事項: (2017-01-01)
• Random Records and Cuttings in Split Trees: Extended Abstract
  著者:: Cecilia Holmgren
  出版事項: (2008-01-01)
• Extended Abstracts
  出版事項: (1977-01-01)
• Extended Abstract
  著者:: John Maher, 等
  出版事項: (2016-05-01)