Martin Otto (Technische Universit\"at Darmstadt)

Identifiers

• name variant Martin Otto (Technische Universit\"at Darmstadt) 0.60 · backfill

Papers (2)

1. Bisimulation in Inquisitive Modal Logic cs.LO · 2017 · author #3
2. Querying the Guarded Fragment cs.LO · 2013 · author #3

Mentions

• 1309.5822 #3 · backfill · confidence 0.70 Martin Otto (Technische Universit\"at Darmstadt)

Frequent Coauthors

• Georg Gottlob (Oxford University Computing Laboratory) 1 shared papers
• Ivano Ciardelli (ILLC 1 shared papers
• University of Amsterdam) 1 shared papers
• Vince B\'ar\'any (University of Warsaw) 1 shared papers