Investigating the finite-cliquewidth-model property of C².

Vortrag von Vincent Peth

Veranstaltungsort: APB room 3027
Beginn: 6. Juli 2023 um 11:00
Ende: 6. Juli 2023 um 12:00
Event series: Research Seminar Logic and AI
iCal

Abstract: I will try to explain to you the results of my internship on 2-variable logics (with counters) and how it interfaces with the cliquewidth notion.

The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:

https://bbb.tu-dresden.de/b/pio-zwt-smp-aus