Login / Signup
Manuel Fernández
ORCID
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Dynamic Logic
Classical First Order Logic
Random Graphs
Top Venues
Electron. J. Comb.
CADE
</>
Publications
</>
Brandon Bohrer
,
Manuel Fernández
,
André Platzer
: Definite Descriptions in Differential Dynamic Logic.
CADE
(2019)
Manuel Fernández
,
Nicholas Sieger
,
Michael Tait
Maximal Planar Subgraphs of Fixed Girth in Random Graphs.
Electron. J. Comb.
25 (2) (2018)