2016-10-12 11:57 GMT+02:00 Hermógenes Oliveira <hermogenes.olive...@student.uni-tuebingen.de>: > O Hermann vem trabalhando na intersecção entre complexidade > computacional e derivabilidade em CS e DN há um bom tempo. Mas creio > que não haja muitas pessoas amplamente familiriazidas com a literatura > de ambos os campos.
Bem, há pelo menos um trabalho recente que "chega perto": Proof complexity of intuitionistic implicational formulas Emil Jeřábek Annals of Pure and Applied Logic Available online 20 September 2016 http://www.sciencedirect.com/science/article/pii/S0168007216301154 Obrigado pela mensagem plena de conteúdo, Hermógenes. []s, JM -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhiWjVG-V3RV%3DURc3HvA1oAwHqyQm_V%2BvVf%2By_Ru7c5Aw%40mail.gmail.com.
