Artigo Acesso aberto Revisto por pares

A local graph-rewriting system for deciding equality in sum-product theories

Autor(es)

Ficheiros

sum-product.pdf (622.32 KB)

Embargo

Tipo de Documento

Artigo

Idioma

Métricas Alternativas

Coleções

DI/CCTC - Artigos | Articles
A carregar...
Ver registo completo
UM