Login / Signup
A formalisation of XMAS
Bernard van Gastel
Julien Schmaltz
Published in:
ACL2 (2013)
Keyphrases
</>
formal analysis
legal reasoning
expert systems
goal oriented
xml documents
model checking
normal form
temporal data