Extended Comptation Tree Logic (Extended Abstract)

相似書籍

• An Epistemic Foundation for Authentication Logics (Extended Abstract)
  由: Joseph Y. Halpern, et al.
  出版: (2017-07-01)
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
  由: Lawrence Dunn, et al.
  出版: (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, et al.
  出版: (2016-05-01)