![]() | ![]() |
| 2009 | ||
|---|---|---|
| 8 | Olivier Finkel, Dominique Lecomte: Classical and effective descriptive complexities of omega-powers. Ann. Pure Appl. Logic 160(2): 163-191 (2009) | |
| 7 | Olivier Finkel, Dominique Lecomte: Decision Problems For Turing Machines CoRR abs/0909.0736: (2009) | |
| 6 | Olivier Finkel, Dominique Lecomte: Decision problems for Turing machines. Inf. Process. Lett. 109(23-24): 1223-1226 (2009) | |
| 2008 | ||
| 5 | Olivier Finkel, Dominique Lecomte: Topological Complexity of omega-Powers : Extended Abstract CoRR abs/0809.1812: (2008) | |
| 2007 | ||
| 4 | Olivier Finkel, Dominique Lecomte: There Exist Some omega -Powers of Any Borel Rank. CSL 2007: 115-129 | |
| 3 | Dominique Lecomte, Olivier Finkel: There Exist some Omega-Powers of Any Borel Rank CoRR abs/0706.3523: (2007) | |
| 2 | Olivier Finkel, Dominique Lecomte: Classical and Effective Descriptive Complexities of omega-Powers CoRR abs/0708.4176: (2007) | |
| 2005 | ||
| 1 | Dominique Lecomte: omega-powers and descriptive set theory. J. Symb. Log. 70(4): 1210-1232 (2005) | |
| 1 | Olivier Finkel | [2] [3] [4] [5] [6] [7] [8] |
Data released under the ODC-BY 1.0 license — See also our legal information page