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 Thu May 21 02:47:38 2026 BST.