http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Adolfo_Neto%27s_publications 2026-04-03T20:09:15Z Histórico de revisões para esta página nesta wiki MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Adolfo_Neto%27s_publications&diff=5503&oldid=prev 2011-10-06T19:08:25Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 19h08min de 6 de outubro de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://journals.cambridge.org/action/displayFulltext?type=1&amp;fid=1476640&amp;jid=KER&amp;volumeId=22&amp;issueId=04&amp;aid=1476632</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://journals.cambridge.org/action/displayFulltext?type=1&amp;fid=1476640&amp;jid=KER&amp;volumeId=22&amp;issueId=04&amp;aid=1476632</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* Modifications on the implementation of a framework for tableaux methods http://www.scribd.com/doc/67783747</ins></div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5502:newid:5503 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Adolfo_Neto%27s_publications&diff=5502&oldid=prev 2011-10-06T19:00:55Z

<p>Nova página: * http://journals.cambridge.org/action/displayFulltext?type=1&amp;fid=1476640&amp;jid=KER&amp;volumeId=22&amp;issueId=04&amp;aid=1476632 * Towards an Efficient Prover for the C1C1 Paraconsistent Logic b...</p> <p><b>Nova página</b></p><div><br /> <br /> * http://journals.cambridge.org/action/displayFulltext?type=1&amp;fid=1476640&amp;jid=KER&amp;volumeId=22&amp;issueId=04&amp;aid=1476632<br /> * Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592<br /> * Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/</div>

Adolfo