Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

XoeteoX: The Infinite Word Object.

Publikováno v: Publishers Weekly. 9/17/2018, Vol. 265 Issue 38, p66-66. 1/4p.

Some proof-theoretical approaches to Monadic Second-Order logic

Autor: Pradic, Pierre

Publikováno v: Logic in Computer Science [cs.LO]. Université de Lyon; Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik, 2020. English. ⟨NNT : 2020LYSEN028⟩

This thesis studies certain aspects of Monadic Second-Order logic over infinitewords (MSO) through the lens of proof-theory. It is split into two independentparts.The first parts studies intuitionistic variants of MSO with strong witnessing propertie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0428ac9f75c3e87d21941d0ff233fdba
https://tel.archives-ouvertes.fr/tel-02954006/file/PRADIC_Pierre_2020LYSEN028_These.pdf

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.