| 2012 | ||
|---|---|---|
| j1 | Blai Bonet, Nerio Borges: Syntactic characterizations of completeness using duals and operators. Logic Journal of the IGPL 20(1): 266-282 (2012) | |
| i2 | Nerio Borges: A sufficient condition for first order non-definability of arrowing problems. CoRR abs/1209.0802 (2012) | |
| 2007 | ||
| i1 | Nerio Borges, Blai Bonet: On Canonical Forms of Complete Problems via First-order Projections. CoRR abs/0706.3412 (2007) | |
| 1 | Blai Bonet |
Data released under the ODC-BY 1.0 license — See also our legal information page