Markus Latte

Identifiers

• name variant Markus Latte 0.60 · backfill

Papers (2)

1. Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages cs.LO · 2011 · author #1
2. Extended Computation Tree Logic cs.LO · 2010 · author #5

Mentions

• 1106.1242 #1 · backfill · confidence 0.70 Markus Latte
• 1006.3709 #5 · backfill · confidence 0.70 Markus Latte

Frequent Coauthors

• Martin Lange 1 shared papers
• Matthew Hague 1 shared papers
• Roland Axelsson 1 shared papers
• Stephan Kreutzer 1 shared papers