Mikolaj Bojanczyk (Warsaw University)

Identifiers

• name variant Mikolaj Bojanczyk (Warsaw University) 0.60 · backfill

Papers (1)

1. Tree Languages Defined in First-Order Logic with One Quantifier Alternation cs.FL · 2010 · author #1

Mentions

• 1009.2854 #1 · backfill · confidence 0.70 Mikolaj Bojanczyk (Warsaw University)

Frequent Coauthors

• Luc Segoufin (INRIA) 1 shared papers