|
Evènement pour le groupe Séminaire Méthodes Formelles
Date | 2019-11-12 07:00-07: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
| |