21 Avril - 27 Avril

Retour à la vue des calendrier
Samedi 26 Avril
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Unification and Logarithmic space
Description: Marc Bagnol I will present an algebraic characterization of the complexity
classes Logspace and NLogspace, using an algebra with a composition
law based on unification. This bridge between unification and
complexity classes is inspired from proof theory and more specifically
linear logic and Geometry of Interaction.