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

Recursively arbitrarily vertex-decomposable graphs

Autor: Olivier Baudon, Frédéric Gilbert, Mariusz Woźniak

Publikováno v: Opuscula Mathematica, Vol 32, Iss 4, Pp 689-706 (2012)

A graph \(G = (V;E)\) is arbitrarily vertex decomposable if for any sequence \(\tau\) of positive integers adding up to \(|V|\), there is a sequence of vertex-disjoint subsets of \(V\) whose orders are given by \(\tau\), and which induce connected gr

Externí odkaz: https://doaj.org/article/5b10ecbaccd549cebf114badc12630ee

Configuring Spaces for Constructive Debates

Autor: Frédéric Gilbert, Ewan Oiry, Mariline Comeau-Vallée

Publikováno v: Journal of Innovation Economics & Management. :191-212

When various professionals engage in collaborative work, they face the major challenge of striking a delicate balance between consensus and controversy. This article investigates the process of developing constructive debate within a space in the hea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b90f4829a6f0721d587b2083ca2fba4e
https://doi.org/10.3917/jie.pr1.0048

Verifiable Certificates for Predicate Subtyping

Autor: Frédéric Gilbert

Publikováno v: Programming Languages and Systems ISBN: 9783030171834
ESOP

Adding predicate subtyping to higher-order logic yields a very expressive language in which type-checking is undecidable, making the definition of a system of verifiable certificates challenging. This work presents a solution to this issue with a min

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::805fc14a30cae8da5c8b14b1e83fa329
https://doi.org/10.1007/978-3-030-17184-1_16

Proof certificates in PVS

Autor: Frédéric Gilbert

Publikováno v: LNCS
ITP 2017-8th International Conference on Interactive Theorem Proving
ITP 2017-8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. pp.262-268, ⟨10.1007/978-3-319-66107-0_17⟩
Interactive Theorem Proving ISBN: 9783319661063
ITP

International audience; The purpose of this work is to allow the proof system PVS to export proof certificates that can be checked externally. This is done through the instrumentation of PVS to record detailed proofs step by step during the proof sea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cc6360dc0d9bdb996d9286fea141cc0
https://inria.hal.science/hal-01673517/file/main.pdf