( en | de | ru )

 

Disambiguation of "Figueira, Santiago"

Author of the publication

copydeleteadd this publication to your clipboard
Characterization, definability and separation via saturated models.

, , and . Theor. Comput. Sci., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Diego Figueira

Carla Figueira

Santiago Suppan

Santiago Ewig

Beatrix Santiago

 

Other publications of authors with the same name

LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity, , and . CoRR, (2013)Definability for Downward and Vertical XPath on Data Trees., , and . WoLLIC, volume 8652 of Lecture Notes in Computer Science, page 20-35. Springer, (2014)The Expressive Power of Memory Logics., , , and . Rev. Symb. Log., 4 (2): 290-318 (2011)Completeness Results for Memory Logics., , and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 16-30. Springer, (2009)Counting the Changes of Random D02 Sets., , , , and . CiE, volume 6158 of Lecture Notes in Computer Science, page 162-171. Springer, (2010)Turing's unpublished algorithm for normal numbers., , and . Theor. Comput. Sci., 377 (1-3): 126-138 (2007)Characterization, definability and separation via saturated models., , and . Theor. Comput. Sci., (2014)On the Expressive Power of IF-Logic with Classical Negation., , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 135-145. Springer, (2011)Representation of spatial sequences using nested rules in human prefrontal cortex., , , , , , , and . NeuroImage, (2019)On the formal semantics of IF-like logics., , and . J. Comput. Syst. Sci., 76 (5): 333-346 (2010)