03B25 Decidability of theories and sets of sentences

MSC > 03Bxx General logic > 03B25 Decidability of theories and sets of sentences

Videos linked to 03B25 Decidability of theories and sets of sentences

25:24

published on November 26, 2021

Time warps, from algebra to algorithms

By Simon Santschi

01:27:49

published on March 25, 2019

Transductions - Partie 2

By Pierre-Alain Reynier

01:26:05

published on March 21, 2019

Transductions - Partie 1

By Emmanuel Filiot

01:07:30

published on December 8, 2016

Logic, decidability and numeration systems - Lecture 1

By Émilie Charlier

59:43

published on December 8, 2016

About the domino problem on finitely generated groups - Lecture 1

By Nathalie Aubrun

More +

Copyright Carmin.tv 2024

Give feedback