logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Mazen Khodier

university of waterloo

0H-index
2Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
Self-verifying Predicates in Buchi Arithmetic
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err1
PREAI
errKhodier, Mazen; Schaeffer, Luke; Shallit, Jeffrey
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jeffrey Shallit
H-index: 34 · Papers: 561
L
Luke Schaeffer
H-index: 13 · Papers: 53
All loaded