FOM

Checking the Word Problem in Free Orthomodular Lattices

References

2023

  1. FAVPQC
    Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices
    Tsubasa Takagi, Canh Minh Do, and Kazuhiro Ogata
    In The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023), Sep 2023
    PDF