Automating Recursive Type Definitions in Higher Order Logic

Benzer Materyaller

• Automating Recursive Type Definitions in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1988)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1988)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1988)
• Translating Dependent Type Theory into Higher Order Logic
  Yazar:: Jacobs, B, ve diğerleri
  Baskı/Yayın Bilgisi: (1993)
• Higher Order Logic and Hardware Verification
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1993)