Zobrazeno 1 - 10
of 26
pro vyhledávání: '"théorie de la preuve"'
Autor:
Lucas, Christophe
Publikováno v:
General Mathematics [math.GM]. Ecole normale supérieure de lyon-ENS LYON, 2022. English. ⟨NNT : 2022ENSL0009⟩
He focus of this thesis is to design a hypersequent calculus called HMR for Riesz modal logic, or equivalently, for the equational theory of modal Riesz spaces. It is part of a line of research aiming to provide a structural proof system for well–k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9777c826c2fca8ce9c6a6f0ebd5c1e7e
https://theses.hal.science/tel-03886259
https://theses.hal.science/tel-03886259
Publikováno v:
Presses universitaires de France, pp.729, 2015, Thémis Droit, 978-2-13-060714-4
Presses universitaires de France, 2e édition mise à jour et augmentée, pp.XXVIII-789, 2022, Thémis. Droit, 978-2-13-082523-4
Presses universitaires de France, 2e édition mise à jour et augmentée, pp.XXVIII-789, 2022, Thémis. Droit, 978-2-13-082523-4
International audience; Quelle est la valeur en justice d’un courriel ou d’un SMS ? À quelles conditions le rapport d’un détective privé est-il recevable ? Que signifie la loyauté de la preuve ? Qu’est-ce qu’un fait pertinent ? Quel est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d139896e567e5e1222087fb992221182
https://hal.archives-ouvertes.fr/hal-03759192
https://hal.archives-ouvertes.fr/hal-03759192
Autor:
Leclerc, Olivier, Vergès, Etienne
Publikováno v:
Les Cahiers de la justice
Les Cahiers de la justice, Dalloz, 2020, pp.689-704. ⟨10.3917/cdlj.2004.0689⟩
Les Cahiers de la justice, Dalloz, 2020, pp.689-704. ⟨10.3917/cdlj.2004.0689⟩
International audience; A central element in the role of the judge, evidential reasoning has been observed by researchers for several decades. In academia, there are two conflicting scientific models for understanding and describing how the actors in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b90acd2134376401944aba4e5b7db16c
https://halshs.archives-ouvertes.fr/halshs-03061325
https://halshs.archives-ouvertes.fr/halshs-03061325
Autor:
Leclerc, Olivier
Publikováno v:
Lexbase Hebdo-édition Professions
Lexbase Hebdo-édition Professions, 2019, pp.1-7
Lexbase Hebdo-édition Professions, 2019, pp.1-7
International audience; Article paru in Lexbase Hebdo, édition Professions, n° 297, 2019, pp. 1-7. Accessible en ligne : https://www.lexbase.fr/revue-juridique/55165181-edition-n-805-du-05-12-2019#article-471386 Que savons-nous de la manière dont
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3069cab8fdb98c64f5dcac52a6cb79cb
https://halshs.archives-ouvertes.fr/halshs-02399432
https://halshs.archives-ouvertes.fr/halshs-02399432
Autor:
Vani, Juliette
Ce mémoire propose une conception narrative du système de justice criminel. Pour ce faire, l’auteure mobilise la théorie narrative suivant laquelle le procès contradictoire est appréhendé comme un concours entre différentes histoires. Le car
Externí odkaz:
http://hdl.handle.net/1866/19149
Autor:
Saillard, Ronan
La vérification automatique de preuves consiste à faire vérifier par un ordinateur la validité de démonstrations d'énoncés mathématiques. Cette vérification étant purement calculatoire, elle offre un haut degré de confiance. Elle est donc
Externí odkaz:
http://www.theses.fr/2015ENMP0027/document
Autor:
Pistone, Paolo
Dans cette thèse on s'intéresse aux formes de "circularité" qui apparaissent dans la théorie de la preuve de la logique du second ordre et de son contrepartie constructive, le Système F.Ces "circularités", ou "cercles vicieux" (Poincaré 1900),
Externí odkaz:
http://www.theses.fr/2015AIXM4046
Autor:
Garillot, François
Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types. Elle fournit un nouveau modèle pour le développ
Externí odkaz:
http://pastel.archives-ouvertes.fr/pastel-00649586
http://pastel.archives-ouvertes.fr/docs/00/64/95/86/PDF/manuscript.pdf
http://pastel.archives-ouvertes.fr/docs/00/64/95/86/PDF/manuscript.pdf
Autor:
François Garillot
Publikováno v:
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
HAL
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
HAL
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes. It provides a new model for developping hierarchies of mathematical structures usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fd78d787c0ee3b10b9d708826e504bc7
https://pastel.archives-ouvertes.fr/pastel-00649586/document
https://pastel.archives-ouvertes.fr/pastel-00649586/document
Autor:
Garillot, François
Publikováno v:
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes. It provides a new model for developping hierarchies of mathematical structures usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::06508645a8e6d68a1f77a779d08af676
https://pastel.archives-ouvertes.fr/pastel-00649586/document
https://pastel.archives-ouvertes.fr/pastel-00649586/document