Publications (9) ARGIMIRO ALEJANDRO ARRATIA QUESADA publications

filter_list

2009

  1. Approximate formulae for a logic that capture classes of computational complexity

    Logic Journal of the IGPL, Vol. 17, Núm. 1, pp. 131-154

2008

  1. Independent Sets, Greedy Solutions and Sequentially Cohen-Macaulay Ideals

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  2. Program schemes with deep pushdown storage

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Counting proportions of sets: Expressive power with almost order

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Cómo mejorar el PageRank de un árbol

    V Jornadas de Matemática Discreta y Algorítmica

  3. Desde Madrid: Congreso Internacional de Matemáticos

    Boletín de la Asociación Matemática Venezolana, Vol. 13, Núm. 1, pp. 105-108

  4. Expressive power and complexity of a logic with quantifiers that count proportions of sets

    Journal of Logic and Computation, Vol. 16, Núm. 6

2004

  1. Approximating the expressive power of logics in finite models

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2976, pp. 540-556

2003

  1. A note on first-order projections and games

    Theoretical Computer Science, Vol. 290, Núm. 3, pp. 2085-2093