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 Tue Sep 22 03:03:29 2026 BST.