Sciweavers

ENTCS
2007
83views more  ENTCS 2007»
14 years 13 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...