Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

181 résultats
Page :
triés par
Image document

The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or Type Constructors

 Gilles Dowek
1991
Pré-publication, Document de travail hal-04212055v1
Image document

Le langage mathématique et les langages de programmation

 Gilles Dowek
1997
Pré-publication, Document de travail hal-04045740v1
Image document

Sur l'existence de Dieu et l'inexistence des licornes

 Gilles Dowek
2007
Pré-publication, Document de travail hal-04046308v1
Image document

La notion de modèle suppose-t-elle une conception réaliste de la vérité mathématique ?

 Gilles Dowek
2007
Pré-publication, Document de travail hal-04046571v1
Image document

Un Vernaculaire modulaire pour le Calcul des Constructions

 Gilles Dowek
1989
Pré-publication, Document de travail hal-04228906v1
Image document

Démonstration Automatique dans le Calcul des Constructions

 Gilles Dowek
Informatique [cs]. Université de Paris 7 - Denis Diderot, 1991. Français. ⟨NNT : ⟩
Thèse tel-04201468v1
Image document

Enseigner les sciences au XXIe siècle

 Gilles Dowek
2012
Pré-publication, Document de travail hal-04048560v1
Image document

Real numbers, chaos, and the principle of a bounded density of information

 Gilles Dowek
CSR 2013 - 8th International Computer Science Symposium in Russia, Jun 2013, Ekaterinburg, Russia. pp.347-353, ⟨10.1007/978-3-642-38536-0_30⟩
Communication dans un congrès hal-00919543v1
Image document

Proof Normalization for a First-order Formulation of Higher-order Logic

 Gilles Dowek
[Research Report] RR-3383, INRIA. 1998
Rapport inria-00073306v1
Image document

A Type-Free Formalization of Mathematics where Proofs are Objects

 Gilles Dowek
[Research Report] RR-2915, INRIA. 1996
Rapport inria-00073782v1
Image document

La part du calcul

 Gilles Dowek
Computer Science [cs]. Université de Paris 7, 1999
HDR tel-04114581v1

Linear-algebraic lambda-calculus

 Pablo Arrighi , Gilles Dowek
2005
Pré-publication, Document de travail hal-00010131v1
Image document

Automatic Proof Checking and Proof Construction by Tactics

 Gilles Dowek
1991
Pré-publication, Document de travail hal-04216575v1
Image document

Naming and scoping in a mathematical vernacular

 Gilles Dowek
RR-1283, INRIA. 1990
Rapport inria-00075276v1
Image document

A Second-order pattern matching algorithm for the cube of typed lambda-calculi

 Gilles Dowek
[Research Report] RR-1585, INRIA. 1992
Rapport inria-00074975v1
Image document

Deduction modulo theory

 Gilles Dowek
All about proofs. Proofs for all., Jul 2014, Wien, Austria
Communication dans un congrès hal-01101829v1
Image document

On the truth judgments in informatics

 Gilles Dowek
2015
Pré-publication, Document de travail hal-04051523v1
Image document

On the definition of the classical connectives and quantifiers

 Gilles Dowek
2013
Pré-publication, Document de travail hal-00919437v1
Image document

Informatics in the classification of sciences

 Gilles Dowek
2013
Pré-publication, Document de travail hal-04051521v1
Image document

Decidability, Introduction Rules and Automata

 Gilles Dowek , Ying Jiang
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Bula, Fiji. ⟨10.1007/978-3-662-48899-7_8⟩
Communication dans un congrès hal-01252135v1
Image document

Axiomatizing truth in a finite model

 Gilles Dowek , Ying Jiang
2014
Pré-publication, Document de travail hal-00919469v1
Image document

Proof Normalization Modulo

 Gilles Dowek , Benjamin Werner
[Research Report] RR-3542, INRIA. 1998
Rapport inria-00073143v1
Image document

Lambda-Calculus, Combinators and the Comprehension Scheme

 Gilles Dowek
[Research Report] RR-2565, INRIA. 1995
Rapport inria-00074116v1
Image document

On the definition of the classical connectives and quantifiers

 Gilles Dowek
Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. Why is this a Proof?, Festschrift for Luiz Carlos Pereira , College Publications, 2015
Chapitre d'ouvrage hal-01252221v1
Image document

Collections, Sets and Types

 Gilles Dowek
[Research Report] RR-2708, INRIA. 1995
Rapport inria-00073982v1
Image document

A Logical Approach to CTL

 Gilles Dowek , Ying Jiang
2014
Pré-publication, Document de travail hal-00919467v1
Image document

The Coq proof assistant user's guide : version 5.6

 Gilles Dowek , Amy Felty , Hugo Herbelin , Gérard Huet , Benjamin Werner , et al.
[Research Report] RT-0134, INRIA. 1991, pp.155
Rapport inria-00070034v1
Image document

Théories des types

 Gilles Dowek
Master. France. 2004, pp.136
Cours hal-04056070v1
Image document

Axioms vs. rewrite rules: from completeness to cut elimination

 Gilles Dowek
2000
Pré-publication, Document de travail hal-04112760v1
Image document

Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory

 Gilles Dowek
2000
Pré-publication, Document de travail hal-04112765v1
Page :