Adolfo Neto's publications
De Wiki DAINF
(Diferença entre revisões)
(Nova página: * http://journals.cambridge.org/action/displayFulltext?type=1&fid=1476640&jid=KER&volumeId=22&issueId=04&aid=1476632 * Towards an Efficient Prover for the C1C1 Paraconsistent Logic b...) |
|||
| Linha 1: | Linha 1: | ||
| − | |||
* http://journals.cambridge.org/action/displayFulltext?type=1&fid=1476640&jid=KER&volumeId=22&issueId=04&aid=1476632 | * http://journals.cambridge.org/action/displayFulltext?type=1&fid=1476640&jid=KER&volumeId=22&issueId=04&aid=1476632 | ||
* Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592 | * Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592 | ||
* Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/ | * Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/ | ||
| + | * Modifications on the implementation of a framework for tableaux methods http://www.scribd.com/doc/67783747 | ||
Edição atual tal como 17h08min de 6 de outubro de 2011
- http://journals.cambridge.org/action/displayFulltext?type=1&fid=1476640&jid=KER&volumeId=22&issueId=04&aid=1476632
- Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592
- Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/
- Modifications on the implementation of a framework for tableaux methods http://www.scribd.com/doc/67783747
