| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 2 |       | Blai Bonet, Nerio Borges: Syntactic characterizations of completeness using duals and operators. Logic Journal of the IGPL 20(1): 266-282 (2012) |
| 1 | | Nerio Borges, Blai Bonet: On Canonical Forms of Complete Problems via First-order Projections CoRR abs/0706.3412: (2007) |
Selection of 2 from 2 records - Nerio Borges has 1 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page