Login / Signup
Mehrdad Maleki
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 3
Top Topics
Possibilistic Logic
Logical Framework
Higher Order Logic
Methods Require
Top Venues
FoSSaCS
LICS
CoRR
</>
Publications
</>
Mehrdad Maleki
,
Mansura Habiba
,
Barak A. Pearlmutter
HeunNet: Extending ResNet using Heun's Methods.
CoRR
(2021)
Abbas Edalat
,
Mehrdad Maleki
Differential Calculus with Imprecise Input and Its Logical Framework.
FoSSaCS
(2018)
Abbas Edalat
,
Mehrdad Maleki
Differentiation in logical form.
LICS
(2017)