Manuel Fernández

Orcid: 0000-0002-2327-5299

Affiliations:

According to our database¹, Manuel Fernández authored at least 2 papers between 2018 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

dL<sub>ι</sub>: Definite Descriptions in Differential Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Maximal Planar Subgraphs of Fixed Girth in Random Graphs.

[BibT_eX]

[DOI]

Electron. J. Comb., 2018