Francicleber Martins Ferreira

Available identifiers

zbMath Open martins-ferreira.francicleberMaRDI QIDQ654908

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5067948	2022-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q3384892	2021-12-17	Paper
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT	2020-10-13	Paper
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games	2020-01-08	Paper
Recursive definitions and fixed-points	2015-03-18	Paper
Expressible preferential logics	2012-10-19	Paper
Recursive definitions and fixed-points on well-founded structures	2011-12-23	Paper
Hybrid logics and NP graph properties	2011-05-27	Paper
On Minimal Models	2008-01-18	Paper

Research outcomes over time

This page was built for person: Francicleber Martins Ferreira