Sign in
A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless.
Václav Vorácek
Pavel Pták
Published in:
Order (2023)
Keyphrases
</>
symmetric difference
consistent query answering
query language
prime implicants