A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
José Bacelar Almeida, Jorge Sousa Pinto, Miguel VilaçaVolume:
176
Year:
2007
Language:
english
Pages:
25
DOI:
10.1016/j.entcs.2006.10.031
File:
PDF, 1.15 MB
english, 2007