Structural proof theory as rewriting Artigo Académico

http://www.scopus.com/inward/record.url?eid=2-s2.0-33749406939&partnerID=MN8TOARS

Visão geral
Informação adicional documento
Ver Todos

autores

Frade, MJ
Santo, J.E.
Frade, M.J.
Pinto, L.

data de publicação

janeiro 1, 2006

publicada em

Computational Methods in Applied Sciences Revista