A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
From MaRDI portal
Publication:2867904
DOI10.1016/j.entcs.2006.10.031zbMath1278.68115OpenAlexW1984602545MaRDI QIDQ2867904
Miguel Vilaça, Jorge Sousa Pinto, José Bacelar Almeida
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.031
Cites Work