Mai Ajspur

Identifiers

• name variant Mai Ajspur 0.60 · backfill

Papers (2)

1. Optimised determinisation and completion of finite tree automata cs.FL · 2015 · author #2
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