• Filtres
• Sous-domaine niveau 1  ×
• Mots-clés  ×
• Tous  ×

144 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 3 4 5	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 144 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	inria-00100048v1  Communication dans un congrès Didier Galmiche, Daniel Méry. Resource Graphs and Countermodels in Resource Logics IJCAR 2004 Workshop W1 on Disproving - Non-Theorems, Non-validity, Non-Provability, 2004, Cork/Ireland, 2004
	inria-00100235v1  Rapport Germain Faure, Alexandre Miquel. Towards a denotational semantics for the rho-calculus [Intern report] A04-R-464 || faure04a, 2004, 14 p
	inria-00100450v1  Chapitre d'ouvrage Denys Duchier, Claire Gardent. Tree Descriptions, Constraints and Incrementality H. Bunt, R. Muskens and E. Thijsse (eds). Computing Meaning, Kluwer Academic Publishers, 23 p, 2001, Studies in Linguistics and Philosophy Series
	inria-00100514v1  Direction d'ouvrage, Proceedings Patrick Blackburn, Michael Kohlhase. Inference in Computational Semantics 139 p, 2001
	inria-00073277v1  Rapport Valérie Gouranton. Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing [Research Report] RR-3413, INRIA. 1998
	inria-00073199v1  Rapport Yves Bertot. A certified Compiler for an Imperative Language RR-3488, INRIA. 1998
	inria-00073314v1  Rapport Valérie Gouranton, Daniel Le Métayer. Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format [Research Report] RR-3375, INRIA. 1998
	inria-00073376v1  Rapport Isabelle Attali, Valérie Pascual, Christophe Roudet. A language and an Integrated Environment for Program Transformations RR-3313, INRIA. 1997
	inria-00073458v1  Rapport Jean-Yves Vion-Dury, Luc Bellissard, Vladimir Marangozov. A Component Calculus for Modeling the Olan Configuration Language [Research Report] RR-3231, INRIA. 1997
	tel-00327441v1  Thèse Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
	inria-00073659v1  Rapport Thérèse Hardin, Luc Maranget, Bruno Pagano. Functional Back-Ends within the Lambda-Sigma Calculus [Research Report] RR-3034, INRIA. 1996
	inria-00099887v1  Communication dans un congrès Guy Perrier. La sémantique dans les grammaires d'interaction 11ième Conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'2004, 2004, Fès, Maroc, France. 10 p, 2004
	inria-00099898v1  Communication dans un congrès Claire Gardent, Marilisa Amoia, Evelyne Jacquey. Paraphrastic grammars 2nd International Workshop on Text and Meaning and Interpretation, Jul 2004, Barcelona, Spain, 8 p, 2004
	inria-00074245v1  Rapport Christian Retoré. On the relation between coherence semantics and multiplicative proof nets RR-2430, INRIA. 1994
	inria-00074073v1  Rapport Rance Cleaveland, Eric Madelaine, Steve Sims. A Front-End Generator for Verification Tools RR-2612, INRIA. 1995
	inria-00074234v1  Rapport Gérard Boudol, Laneve Cosimo. The discriminating power of multiplicities in the $\lambda$-calculus [Research Report] RR-2441, INRIA. 1994
	inria-00074243v1  Rapport Christian Retoré. A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences RR-2432, INRIA. 1994
	inria-00077110v1  Rapport Isabelle Attali, Didier Parigot. Integrating Natural Semantics and Attribute Grammars : the Minotaur System [Research Report] RR-2339, INRIA. 1994
	inria-00107768v1  Communication dans un congrès Sylvain Pogodalla. Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms - TAG+7, 2004, Vancouver, BC, Canada, pp.64-71, 2004
	inria-00107767v1  Communication dans un congrès Sylvain Pogodalla. Vers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints Traitement Automatique des Langues Naturelles - TALN'04, 2004, Fès, Maroc, 10 p, 2004
	tel-00459307v1  Thèse Pierre Clairambault. Logique et Interaction : une Étude Sémantique de la Totalité Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français
	inria-00108117v1  Communication dans un congrès Sylvain Pogodalla. Using and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation Categorial Grammars, Jun 2004, Montpellier, France, pp.197-209, 2004
	tel-00011871v1  Thèse Pierre Hyvernat. A Logical Investigation of Interaction Systems Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English
	inria-00073912v1  Rapport Yves Bertot, Ranan Fraer. Reasoning with Executable Specifications RR-2780, INRIA. 1996
	hal-00425099v1  Pré-publication, Document de travail Alexander Heußner. Model Extraction for Sockets-based Distributed Programs work in progress. 2009
	inria-00074395v1  Rapport Ilaria Castellani. Observing distribution in processes : static and dynamic localities RR-2276, INRIA. 1994
	inria-00073821v1  Rapport Michele Boreale, Davide Sangiorgi. Some Congruence Properties for pi-calculus Bisimilarities RR-2870, INRIA. 1996
	inria-00074103v1  Rapport Gérard Boudol, Cosimo Laneve. Lambda-Calculus, Multiplicities and the pi-Calculus [Research Report] RR-2581, INRIA. 1995, pp.33
	inria-00074259v1  Rapport Eric Duquesne, Jacques Van de Wiele. A new intrinsic characterization of the principal type schemes [Research Report] RR-2416, INRIA. 1995
	inria-00074078v1  Rapport Valérie Gouranton, Daniel Le Métayer. Derivation of Static Analysers of Functional Programs from Path Properties of a Natural Semantics [Research Report] RR-2607, INRIA. 1995
	1 2 3 4 5	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 144 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM