Figueira, Diego, 1980-....
VIAF ID: 306309804 ( Personal )
Permalink: http://viaf.org/viaf/306309804
Preferred Forms
Works
Title | Sources |
---|---|
Automatic synthesis of systems with data | |
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique | |
Raisonnement sur mots et arbres avec données. | |
Reasoning on words and trees with data | |
Synchronous relations and complexity of query evaluation | |
Synthèse automatique de systèmes avec données. | |
XPath-like Query Logics : Proof Systems and Real-World Applicability. |