Alexandre Matos Arruda
From MaRDI portal
Person:2866739
Available identifiers
zbMath Open arruda.alexandre-matosMaRDI QIDQ2866739
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Completeness for cut-based abduction | 2015-02-27 | Paper |
| An infinitary system for the least fixed-point logic restricted to finite models | 2013-12-13 | Paper |
| Natural deduction for the finite least fixed point logic with an infinitary rule | 2009-11-12 | Paper |
Research outcomes over time
This page was built for person: Alexandre Matos Arruda
