Nerio Borges
From MaRDI portal
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 |
|---|---|---|
| Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy Logic Journal of the IGPL | 2022-06-09 | Paper |
| Belief change and 3-valued logics: characterization of 19,683 belief change operators Journal of Artificial Intelligence Research | 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 Logical Methods in Computer Science | 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 Logic Journal of the IGPL | 2012-08-01 | Paper |
| scientific article; zbMATH DE number 8540 (Why is no real title available?) | 1992-06-25 | Paper |
Research outcomes over time
This page was built for person: Nerio Borges
