• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

36 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 36 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00150912v1  Thèse Pierre Letouzey. Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
	tel-00555158v1  Thèse Ioana Pasca. Formal Verifcation for Numerical Methods Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English
	pastel-00556578v1  Thèse Vincent Siles. Investigation on the typing of equality in type systems Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English
	tel-01327023v1  Thèse Jacques-Henri Jourdan. Verasco: a Formally Verified C Static Analyzer Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English
	tel-00945775v1  Thèse Maxime Dénès. Étude formelle d'algorithmes efficaces en algèbre linéaire Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. <NNT : 2013NICE4103>
	tel-00414778v1  Thèse Houda Anoun. Approche logique des grammaires pour les langues naturelles Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français
	tel-01112334v1  Thèse Tuan Minh Pham. Formal Description of Geometrical Properties Logic in Computer Science [cs.LO]. Univeristé Nice Sophia Antipolis, 2011. English
	tel-00437582v1  Thèse Jean-Baptiste Tristan. Formal verification of translation validators Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-00452440v1  Thèse Zaynah Dargaye. Vérification formelle d'un compilateur optimisant pour langages fonctionnels Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-01054723v1  Thèse Pierre Boutillier. De nouveaux outils pour calculer avec des inductifs en Coq Langage de programmation [cs.PL]. Université Paris-Diderot - Paris VII, 2014. Français
	tel-00640052v1  Thèse Sozeau Matthieu. Un environnement pour la programmation avec types dépendants Logiciel mathématique [cs.MS]. Université Paris Sud - Paris XI, 2008. Français
	tel-00766757v1  Thèse Sylvain Heraud. Vérification semi-automatique de primitives cryptographiques Cryptographie et sécurité [cs.CR]. Université Nice Sophia Antipolis, 2012. Français
	tel-00523810v1  Thèse Amokrane Saibi. Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1999. Français
	pastel-00649586v1  Thèse François Garillot. Generic Proof Tools and Finite Group Theory Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
	tel-01094485v1  Thèse Guillaume Melquiond. De l'arithmétique d'intervalles à la certification de programmes Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. <NNT : 2006ENSL0388>
	tel-01445821v1  HDR Damien Pous. Automata for relation algebra and formal proofs Computer Science [cs]. ENS Lyon, 2016
	tel-00679201v1  Thèse Elie Soubiran. Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. Langage de programmation [cs.PL]. Ecole Polytechnique X, 2010. Français
	pastel-00780446v1  Thèse Cyril Cohen. Formalized algebraic numbers: construction and first-order theory. Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
	pastel-00584350v1  Thèse Santiago Zanella-Béguelin. Formal certification of game-based cryptographic proofs Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. <NNT : 2010ENMP0050>
	pastel-00605836v1  Thèse Arnaud Spiwack. Verified Computing in Homological Algebra Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
	tel-01406351v1  HDR Nicolas Tabareau. Managing Logical and Computational Complexity using Program Transformations Category Theory [math.CT]. université de nantes, 2016
	tel-01486550v1  Thèse Kevin Quirin. Lawvere-Tierney sheafification in Homotopy Type Theory Logic in Computer Science [cs.LO]. Ecole des Mines de Nantes, 2016. English. < NNT : 2016EMNA0298 >
	tel-00118806v1  Thèse Julien Narboux. Formalisation et automatisation du raisonnement géométrique en Coq. Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français
	tel-00117409v1  Thèse Assia Mahboubi. Contributions à la certification des calculs dans R : théorie, preuves, programmation Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2006. Français
	tel-00769044v1  Thèse Tahina Ramananandro. Mechanized Formal Semantics and Verified Compilation for C++ Objects Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. <NNT : 2012PA077001>
	tel-00431817v1  HDR Christine Paulin-Mohring. Définitions Inductives en Théorie des Types Génie logiciel [cs.SE]. Université Claude Bernard - Lyon I, 1996
	tel-00493524v1  Thèse Sidi Ould Biha. Composants mathématiques pour la théorie des groupes Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2010. Français
	tel-01478722v1  Thèse Martin Bodin. Certified semantics and analysis of JavaScript Programming Languages [cs.PL]. Université Rennes 1, 2016. English. < NNT : 2016REN1S087 >
	tel-00713668v1  Thèse Stephane Lescuyer. Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112363>
	tel-01114217v2  Thèse Nuno Gaspar. Mechanized support for the formal specification, verification and deployment of component-based applications Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. < NNT : 2014NICE4127 >
	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 36 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM