Mai Ajspur
Identifiers
- name variant Mai Ajspur 0.60 · backfill
Papers (2)
- Optimised determinisation and completion of finite tree automata cs.FL · 2015 · author #2
- Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge cs.LO · 2012 · author #1
Mentions
- 1511.03595 #2 · backfill · confidence 0.70 Mai Ajspur
- 1201.5346 #1 · backfill · confidence 0.70 Mai Ajspur
Frequent Coauthors
- Bishoksan Kafle 1 shared papers
- Dmitry Shkatov 1 shared papers
- John P. Gallagher 1 shared papers
- Valentin Goranko 1 shared papers