Lista de

Figueira, Santiago Daniel
30
2011
3
"Using logic in the generation of referring expressions" (2011) Areces, C.; Figueira, S.; Gorín, D. 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011. 6736 LNAI:17-32
"Counting the changes of random Δ20 sets" (2011) Figueira, S.;Hirschfeldt, D.R.;Miller, J.S. (...)Nies, A. Journal of Logic and Computation. 25(4):1073-1089
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278