
Evènement pour le groupe Séminaire Méthodes Formelles
Date  20191112 07:0007:00 
Titre  Monadic 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) 
Lieu  178 
Orateur  Bartek Klin 
Email  https://www.mimuw.edu.pl/~klin/ 
Url  MIMUW, University of Warsaw 
Aucun document lié à cet événement. RetourRetour à l'index
 