Login / Signup
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence.
Mohsen Khani
Ali N. Valizadeh
Afshin Zarei
Published in:
Ann. Pure Appl. Log. (2024)
Keyphrases
</>
computational model
high level
objective function
management system
parameter estimation
temporal structure
conceptual model
hierarchical structure
experimental data
probabilistic model
similarity measure
neural network
input data
theoretical framework
process model
prior knowledge
spatial structure
decision trees