Evènement pour le groupe Séminaire Méthodes Formelles

Date 2019-11-12  07:00-07:00
TitreMonadic monadic second order logic 
RésuméMonadic second order logic (MSO) is usually studied over specific kinds of structures, be it finite words, infinite words, finite or infinite trees, total orders of various shapes, etc. A monad is a rather abstract notion of "a kind of structures" that covers these and many other examples. One can formulate an abstract definition of MSO for a generic monad. I will explain how this is done, and I will describe some conditions that a monad should satisfy to ensure a basic "sanity check": that every definable language is recognized by a finite algebra. Familiarity with monads is not necessary, I will give a gentle introduction. (joint work with Mikolaj Bojanczyk and Julian Salamanca) 
OrateurBartek Klin 
UrlMIMUW, University of Warsaw 

Aucun document lié à cet événement.

Retour à l'index