Login / Signup
Roghieh Safari
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Delay Insensitive
Closed Form
Multiscale
Logic Programming
Top Venues
J. Log. Comput.
Math. Log. Q.
</>
Publications
</>
Seyed-Mohammad Bagheri
,
Roghieh Safari
Completeness for linear continuous logic.
J. Log. Comput.
27 (4) (2017)
Seyed-Mohammad Bagheri
,
Roghieh Safari
Preservation theorems in linear continuous logic.
Math. Log. Q.
60 (3) (2014)