Mikołaj Bojańczyk

1. Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic
   2020/08/26 by Mikołaj Bojańczyk, Bojańczyk, Mikołaj · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, Reasoning, and Knowledge #semigroups and automata theory
2. The category of MSO transductions
   2023/05/29 by Mikołaj Bojańczyk, Bojańczyk, Mikołaj · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #semigroups and automata theory