Computer Science – Formal Languages and Automata Theory
Scientist
Computer Science
Formal Languages and Automata Theory
Scientist
Warsaw University
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Two-Way Unary Temporal Logic over Trees
Weak Mso with the Unbounding Quantifier
No associations
LandOfFree
Mikolaj Bojanczyk does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Mikolaj Bojanczyk, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mikolaj Bojanczyk will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-126663