Francicleber Martins Ferreira
From MaRDI portal
Person:654908
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 |
|---|---|---|
| scientific article; zbMATH DE number 7503138 (Why is no real title available?) | 2022-04-04 | Paper |
| scientific article; zbMATH DE number 7447745 (Why is no real title available?) | 2021-12-17 | Paper |
| Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT Theoretical Computer Science | 2020-10-13 | Paper |
| Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games Theoretical Computer Science | 2020-01-08 | Paper |
| Recursive definitions and fixed-points Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
| Expressible preferential logics Journal Of Logic And Computation | 2012-10-19 | Paper |
| Recursive definitions and fixed-points on well-founded structures Theoretical Computer Science | 2011-12-23 | Paper |
| Hybrid logics and NP graph properties Logic, Language, Information and Computation | 2011-05-27 | Paper |
| On Minimal Models Logic Journal of the IGPL | 2008-01-18 | Paper |
Research outcomes over time
This page was built for person: Francicleber Martins Ferreira
