Yon Fernández de Retana

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Semantically Equivalent

Domain Ontology

Semantic Knowledge

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Delphine Demange, Yon Fernández de Retana, David Pichardie
Semantic reasoning about the sea of nodes. CC (2018)
Delphine Demange, Yon Fernández de Retana
Mechanizing conventional SSA for a verified destruction with coalescing. CC (2016)