Explorando uma estrutura que conecta coalgebras, lógicas modais e lógicas de ponto fixo.
― 8 min ler
Ciência de ponta explicada de forma simples
Explorando uma estrutura que conecta coalgebras, lógicas modais e lógicas de ponto fixo.
― 8 min ler
Uma olhada nos ômega-autômatos e seu papel nos estudos de linguagem.
― 7 min ler