Santiago Figueira

Available identifiers

zbMath Open figueira.santiagoMaRDI QIDQ235739

List of research outcomes

Publication	Date of Publication	Type
Closure properties of synchronized relations	2022-07-18	Paper
Algorithmic identification of probabilities is hard	2018-05-08	Paper
Bisimulations on Data Graphs	2018-03-07	Paper
Axiomatizations for downward XPath on data trees	2017-09-07	Paper
Model theory of XPath on data trees. II: Binary bisimulation and definability	2017-09-04	Paper
Logics of Repeating Values on Data Trees and Branching Counter Systems	2017-05-19	Paper
Counting the changes of random Δ20 sets	2016-01-28	Paper
Linearizing well quasi-orders and bounding the length of bad sequences	2015-10-12	Paper
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization	2015-08-25	Paper
Feasible analysis, randomness, and base invariance	2015-07-20	Paper
Normality in non-integer bases and polynomial time randomness	2015-07-13	Paper
Definability for Downward and Vertical XPath on Data Trees	2015-01-13	Paper
Characterization, definability and separation via saturated models	2014-06-10	Paper
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies	2014-06-10	Paper
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders	2012-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q2904050	2012-08-05	Paper
Completeness results for memory logics	2012-04-10	Paper
THE EXPRESSIVE POWER OF MEMORY LOGICS	2011-10-21	Paper
Using Logic in the Generation of Referring Expressions	2011-07-01	Paper
Basic Model Theory for Memory Logics	2011-05-27	Paper
On the Expressive Power of IF-Logic with Classical Negation	2011-05-27	Paper
Counting the Changes of Random ${\Delta^0_2}$ Sets	2010-07-29	Paper
On the formal semantics of IF-like logics	2010-07-08	Paper
On the computing power of fuzzy Turing machines	2009-08-28	Paper
Indifferent Sets	2009-04-16	Paper
Completeness Results for Memory Logics	2009-02-24	Paper
Classical Computability and Fuzzy Turing Machines	2008-09-18	Paper
Expressive Power and Decidability for Memory Logics	2008-07-10	Paper
On the Formal Semantics of IF-Like Logics	2008-07-10	Paper
Lowness properties and approximations of the jump	2008-03-28	Paper
Turing's unpublished algorithm for normal numbers	2007-06-06	Paper
Randomness and universal machines	2007-02-08	Paper
Randomness and halting probabilities	2007-01-19	Paper
Program size complexity for possibly infinite computations	2005-07-06	Paper
Kolmogorov complexity for possibly infinite computations	2005-05-13	Paper
An example of a computable absolutely normal number	2002-03-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Santiago Figueira