Login / Signup
Ali N. Valizadeh
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Process Model
High Level
Temporal Structure
Decision Trees
Top Venues
Ann. Pure Appl. Log.
</>
Publications
</>
Mohsen Khani
,
Ali N. Valizadeh
,
Afshin Zarei
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence.
Ann. Pure Appl. Log.
175 (10) (2024)