Login / Signup
Semantics, Verification, and Efficient Implementations for Tristate Numbers.
Harishankar Vishwanathan
Matan Shachnai
Srinivas Narayana
Santosh Nagarakatte
Published in:
CoRR (2021)
Keyphrases
</>
semantic information
model checking
logic programming
formal semantics
epistemic logic
formal analysis
logical language
neural network
knowledge base
case study
database systems
owl ontologies
concurrent systems
false acceptance rate