Raul Fervari

1. Axiomatizations for downward XPath on data trees
   2017/06/14 by Sergio Abriola, María Emilia Descotte, Raul Fervari +1 · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
2. Basic Model Theory for Path Predicate Modal Logic
   2026/07/18 by Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Logic, programming, and type systems