Nerio Borges

Available identifiers

zbMath Open borges.nerioMaRDI QIDQ2903760

List of research outcomes

Publication	Date of Publication	Type
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy	2022-06-09	Paper
Belief change and 3-valued logics: Characterization of 19,683 belief change operators	2020-11-03	Paper
Belief revision and 3-valued logics: Characterization of 19,683 belief change operators	2019-10-30	Paper
Perfectly nested circuits	2018-11-07	Paper
A Note on Minimal Senders	2018-06-22	Paper
Universal First-Order Logic is Superfluous for NL, P, NP and coNP	2014-03-24	Paper
A sufficient condition for first order non-definability of arrowing problems	2012-09-04	Paper
Syntactic characterizations of completeness using duals and operators	2012-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q3971125	1992-06-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nerio Borges