Re: [Logica-l] Tatu

2012-03-24 Por tôpico Valeria de Paiva
Que legal Elaine! Parabens pros tres! Valeria 2012/3/23 Elaine Pimentel > Prezados colegas, > > Gostaria de apresentar o sistema TATU, desenvolvido por Vivek Nigam e > Giselle Reis, que é um: "Online system for reasoning about sequent calculus > specifications in linear logic with subexponential

[Logica-l] Tatu

2012-03-23 Por tôpico Elaine Pimentel
Prezados colegas, Gostaria de apresentar o sistema TATU, desenvolvido por Vivek Nigam e Giselle Reis, que é um: "Online system for reasoning about sequent calculus specifications in linear logic with subexponentials". O sistema ainda está na versão beta, disponível online no endereço: http://www.