Akbar Tabatabai Seyed Amirhossein

RIV - aktuální sběr

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 1

Článek v odborném periodiku

0601777 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein
Witnessing flows in arithmetic.
Mathematical Structures in Computer Science. Roč. 34, č. 7 (2024), s. 578-614. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * local search programs * ordinal analysis * Total search problems
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.443, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/S0960129524000185
Akbar Tabatabai, Seyed Amirhossein
Trvalý odkaz: https://hdl.handle.net/11104/0359079