Login / Signup
Ziba Assadi
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Human Generated
Description Logics
Document Summarization
Decision Procedures
Top Venues
CoRR
Soft Comput.
J. Log. Comput.
</>
Publications
</>
Ziba Assadi
,
Saeed Salehi
Gödelian sentences, Rosserian sentences and truth.
J. Log. Comput.
32 (4) (2022)
Ziba Assadi
Decidability of the Multiplicative and Order Theory of Numbers.
CoRR
(2020)
Ziba Assadi
,
Saeed Salehi
On decidability and axiomatizability of some ordered structures.
Soft Comput.
23 (11) (2019)
Ziba Assadi
,
Saeed Salehi
On the Decidability of the Ordered Structures of Numbers.
CoRR
(2017)