Login / Signup

A formalisation of XMAS

Bernard van GastelJulien Schmaltz
Published in: ACL2 (2013)
Keyphrases
  • formal analysis
  • legal reasoning
  • expert systems
  • goal oriented
  • xml documents
  • model checking
  • normal form
  • temporal data