Jakub Kallas

Identifiers

• name variant Jakub Kallas 0.60 · backfill

Papers (1)

1. First-order Fragments with Successor over Infinite Words cs.FL · 2010 · author #1

Mentions

• 1101.0115 #1 · backfill · confidence 0.70 Jakub Kallas

Frequent Coauthors

• Alexander Lauser 1 shared papers
• Manfred Kufleitner 1 shared papers