Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Induction (logique)"'
Autor:
Renaud Limelette
Publikováno v:
Gouvernance, justice et santé
Gouvernance, justice et santé, CHJ Éditeur, p. 145-174, 2020, 2-910114-36-8
Renaud Limelette
Gouvernance, justice et santé, CHJ Éditeur, p. 145-174, 2020, 2-910114-36-8
Renaud Limelette
Depuis leur développement à la fin du XVIIe siècle et jusqu’en 1747 les hôpitaux militaires ne connaissaient pas une réglementation uniforme sur l’ensemble du royaume. Ce fut à cette date que la gouvernance des hôpitaux militaires changea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e9a70bba871888fc01b929f3d9cbe7a7
https://hal.univ-lille.fr/hal-02967873
https://hal.univ-lille.fr/hal-02967873
Autor:
Boutillier, Pierre
En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité. L'assistant de preuve Coq s'appu
Autor:
Boutillier, Pierre
Publikováno v:
Langage de programmation [cs.PL]. Université Paris-Diderot-Paris VII, 2014. Français
The dependently typed lambda-calculus with algebraic datastructures is a programming language with very few primitives but a huge expressivity. The Coq proof assistant is built over one variant of this language, the CIC. Its semantics is extremely cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::5701d84deb9ad57dda743d7c02ef172a
https://tel.archives-ouvertes.fr/tel-01054723/file/these_boutillier.pdf
https://tel.archives-ouvertes.fr/tel-01054723/file/these_boutillier.pdf
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1991.
Titre provenant de l'écran-titre. Bibliogr. p. 178-184.
Titre provenant de l'écran-titre. Bibliogr. p. 178-184.
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00339492
Thèse doctorat : Informatique. Bioinformatique : Rennes 1 : 2005.
Bibliogr. p. 107-129.
Bibliogr. p. 107-129.
Thèse doctorat : Informatique : Rennes 1 : 2005.
Bibliogr. p. 197-206.
Bibliogr. p. 197-206.
Autor:
Ciaffaglione, Alberto
Publikováno v:
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2003. Français. ⟨NNT : 2003INPL026N⟩
We adopt Formal Methods based on Type Theory for reasoning on the semantics of computer programs: the ultimate goal is to prove that a fragment of software meets its formal specification. Application areas of our research are the Real Numbers datatyp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::52fcc7f03710181ba133e3f4a68d0a5c
https://hal.univ-lorraine.fr/tel-01750193/document
https://hal.univ-lorraine.fr/tel-01750193/document
Autor:
Löbach, Brigitte.
Diss.--Köln, 1999.
Bibliogr. p. [207]-218.
Bibliogr. p. [207]-218.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb399180965
Autor:
Bergeron, Martin
La présente recherche a pour but de retracer les débuts de l'histoire de la logique et de faire ressortir l'importante contribution de Socrate à ce chapitre. Pour y arriver, nous nous pencherons sur le lien entre les deux instruments logiques déc
Externí odkaz:
http://hdl.handle.net/20.500.11794/42028
Autor:
Ben Rajeb, Narjes
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1997. Français. ⟨NNT : 1997NAN10174⟩
Automated induction proofs are a formal means for systems validation. In the framework of test set induction, we propose two automated proofs methods for conditional specifications: one deals with associative-commutative (AC) theories, the other with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f5570dea84fa220866272582f88bd90f
https://hal.univ-lorraine.fr/tel-01747440
https://hal.univ-lorraine.fr/tel-01747440