Paper Info
Title
\mathsf dL_ι - Definite Descriptions in Differential Dynamic Logic.
Year
DOI
Venue
2019
10.1007/978-3-030-29436-6_6
CADE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Brandon Bohrer101.35
Manuel Fernández251.30
André Platzer303.04