- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i3 |      | Sergio Romano, Mariano Sigman, Santiago Figueira: LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity. CoRR abs/1303.0875 (2013) |
| 2012 | ||
| j12 | | Carlos Areces, Santiago Figueira, Sergio Mera: Completeness results for memory logics. Ann. Pure Appl. Logic 163(7): 961-972 (2012) |
| c12 | | Sergio Abriola, Santiago Figueira, Gabriel Senno: Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. WoLLIC 2012: 110-126 |
| 2011 | ||
| c11 | | Carlos Areces, Santiago Figueira, Daniel Gorín: Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32 |
| c10 | | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen: Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. LICS 2011: 269-278 |
| c9 | | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera: Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34 |
| c8 | | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Expressive Power of IF-Logic with Classical Negation. WoLLIC 2011: 135-145 |
| 2010 | ||
| j11 | | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the formal semantics of IF-like logics. J. Comput. Syst. Sci. 76(5): 333-346 (2010) |
| c7 | | Santiago Figueira, Daniel Gorín: On the Size of Shortest Modal Descriptions. Advances in Modal Logic 2010: 120-139 |
| c6 | | Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies: Counting the Changes of Random D02{\Delta^0_2} Sets. CiE 2010: 162-171 |
| i2 | | Carlos Areces, Santiago Figueira, Daniel Gorín: The Question of Expressiveness in the Generation of Referring Expressions. CoRR abs/1006.4621 (2010) |
| i1 | | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen: Ackermann and Primitive-Recursive Bounds with Dickson's Lemma. CoRR abs/1007.2989 (2010) |
| 2009 | ||
| j10 | | Santiago Figueira, Joseph S. Miller, André Nies: Indifferent Sets. J. Log. Comput. 19(2): 425-443 (2009) |
| c5 | | Carlos Areces, Santiago Figueira, Sergio Mera: Completeness Results for Memory Logics. LFCS 2009: 16-30 |
| 2008 | ||
| j9 | | Santiago Figueira, André Nies, Frank Stephan: Lowness properties and approximations of the jump. Ann. Pure Appl. Logic 152(1-3): 51-66 (2008) |
| j8 | | Benjamín René Callejas Bedregal, Santiago Figueira: On the computing power of fuzzy Turing machines. Fuzzy Sets and Systems 159(9): 1072-1083 (2008) |
| c4 | | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68 |
| c3 | | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178 |
| 2007 | ||
| j7 | | Verónica Becher, Santiago Figueira, Rafael Picchi: Turing's unpublished algorithm for normal numbers. Theor. Comput. Sci. 377(1-3): 126-138 (2007) |
| 2006 | ||
| j6 | | Santiago Figueira, André Nies, Frank Stephan: Lowness Properties and Approximations of the Jump. Electr. Notes Theor. Comput. Sci. 143: 45-57 (2006) |
| j5 | | Santiago Figueira, Frank Stephan, Guohua Wu: Randomness and universal machines. J. Complexity 22(6): 738-751 (2006) |
| j4 | | Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller: Randomness and halting probabilities. J. Symb. Log. 71(4): 1411-1430 (2006) |
| c2 | | Benjamín René Callejas Bedregal, Santiago Figueira: Classical Computability and Fuzzy Turing Machines. LATIN 2006: 154-165 |
| 2005 | ||
| j3 | | Verónica Becher, Santiago Figueira: Kolmogorov Complexity for Possibly Infinite Computations. Journal of Logic, Language and Information 14(2): 133-148 (2005) |
| j2 | | Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi: Program Size Complexity for Possibly Infinite Computations. Notre Dame Journal of Formal Logic 46(1): 51-64 (2005) |
| c1 |  | |
| 2002 | ||
| j1 | | Verónica Becher, Santiago Figueira: An example of a computable absolutely normal number. Theor. Comput. Sci. 270(1-2): 947-958 (2002) |
Colors in the list of coauthors
Last update Tue May 21 15:08:46 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page