Login / Signup
Bertrand Teguia Tabuguia
ORCID
Publication Activity (10 Years)
Years Active: 2020-2025
Publications (10 Years): 20
Top Topics
Mathematical Formulas
Bounded Rationality
Action Sequences
Quantifier Free
Top Venues
CoRR
ACM Commun. Comput. Algebra
J. Symb. Comput.
Maple Trans.
</>
Publications
</>