Código QR (código de barras bidimensional)

Monadic Second Order Logic with Measure and Category Quantifiers

We investigate the extension of Monadic Second Order logic, interpreted over infinite words and trees, with generalized "for almost all" quantifiers interpreted using the notions of Baire category and Lebesgue measure.

Na minha lista:
Principais autores: Matteo Mio, Michał Skrzypczak, Henryk Michalewski
Formato: Artigo
Idioma:Inglês
Publicado em: Logical Methods in Computer Science e.V. 2018-04-01
coleção:Logical Methods in Computer Science
Assuntos:
computer science - logic in computer science
computer science - formal languages and automata theory
mathematics - logic
Acesso em linha:https://lmcs.episciences.org/3148/pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados