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

autores

  • José Carlos Bacelar Almeida
  • Almeida, J.B.
  • Pinto, J.S.
  • Vilaça, M.

data de publicação

  • janeiro 1, 2007