Publication

Number of items: 1.
2004
  • A Proof System and a Decision Procedure for Equality Logic. (2004) Olga Tveretina and Hans Zantema
    • This list was generated on Wed Aug 12 02:58:52 2026 BST.