Sciweavers

ENTCS
2007

A Local Graph-rewriting System for Deciding Equality in Sum-product Theories

14 years 12 days ago
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
d Abstract) Jos´e Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vila¸ca 1,2,3 Departamento de Inform´atica Universidade do Minho 4710-057 Braga, Portugal
José Bacelar Almeida, Jorge Sousa Pinto, Mi
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça
Comments (0)