Some proof-theoretical approaches to Monadic Second-Order logic. (Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Pradic20
%A Pradic, Cécilia
%D 2020
%K dblp
%T Some proof-theoretical approaches to Monadic Second-Order logic. (Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration).
@phdthesis{phd/hal/Pradic20,
added-at = {2024-03-13T00:00:00.000+0100},
author = {Pradic, Cécilia},
biburl = {https://www.bibsonomy.org/bibtex/2697257ca4d868193b5ebb6733a08aef2/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-02954006},
interhash = {af94b4a874a2d652febf4fc2ea6ba634},
intrahash = {697257ca4d868193b5ebb6733a08aef2},
keywords = {dblp},
school = {University of Warsaw, Poland},
timestamp = {2024-04-09T09:04:56.000+0200},
title = {Some proof-theoretical approaches to Monadic Second-Order logic. (Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration).},
year = 2020
}