( en | de | ru )

 

Disambiguation of "Figueira, Santiago"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatizations for downward XPath on Data Trees.

, , , and . CoRR, (2016)

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

Counting the Changes of Random D02 Sets., , , , and . CiE, volume 6158 of Lecture Notes in Computer Science, page 162-171. Springer, (2010)Definability for Downward and Vertical XPath on Data Trees., , and . WoLLIC, volume 8652 of Lecture Notes in Computer Science, page 20-35. Springer, (2014)LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity, , and . CoRR, (2013)Completeness Results for Memory Logics., , and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 16-30. Springer, (2009)The Expressive Power of Memory Logics., , , and . Rev. Symb. Log., 4 (2): 290-318 (2011)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)Model theory of XPath on data trees. Part II: Binary bisimulation and definability., , and . Inf. Comput., (2017)Axiomatizations for downward XPath on Data Trees., , , and . CoRR, (2016)