Michal Terepeta

Identifiers

• name variant Michal Terepeta 0.60 · backfill

Papers (1)

1. Pushdown Systems for Monotone Frameworks cs.PL · 2013 · author #1

Mentions

• 1307.4585 #1 · backfill · confidence 0.70 Michal Terepeta

Frequent Coauthors

• Flemming Nielson 1 shared papers
• Hanne Riis Nielson 1 shared papers