Accueil
Dépôt
S'authentifier
S'inscrire
Consultation
Par domaine
Les 30 derniers dépôts
Par année de publication, rédaction, dépôt
Par type de publication
Par collection
Les portails de l'archive ouverte HAL
ArXiv
Les Thèses (TEL)
Recherche
Recherche simple
Recherche avancée
Accès par identifiant
Les Thèses (TEL)
Services
S'abonner
Exporter une liste de publication
Consulter les laboratoires connus de HAL
Créer sa page Web
Manuel et informations
Documentation utilisateur
Documentation WebServices
À propos
version française
english version
.:. Consultation >
Par domaine
> Informatique/Logique en informatique .:.
1409 documents classés par :
date de publication, écriture ou dépôt
titre du document
1er auteur
1
-
2
-
3
-
4
-
5
-
6
-
7
...
The Rooster and the Butterflies
Mahboubi A.
CICM 2013 - Conferences on Intelligent Computer Mathematics - 2013
, Royaume-Uni (2013) [hal-00825074 - version 1]
An adequate logic for heterogeneous systems
Aiguier M., Golden B., Krob D.
Dans
18th International Conference on Engineering of Complex Computer Systems (ICECCS)
-
18th International Conference on Engineering of Complex Computer Systems (ICECCS)
, Singapour (2013) [hal-00812339 - version 1]
Undecidability in Epistemic Planning
Aucher G., Bolander T.
Rapport de recherche (2013) [hal-00824653 - version 1]
Bubbles are rational
Lescanne P.
[ensl-00819188 - version 1] (30/04/2013)
Name-passing calculi: from fusions to preorders and types
Hirschkoff D., Madiot J.-M., Sangiorgi D.
[hal-00818068 - version 2] (2013-05-11)
The IO and OI hierarchies revisited
Kobele G. M., Salvati S.
ICALP (2)
, Lettonie (2013) [hal-00818069 - version 1]
Canonical Structures for the working Coq user
Mahboubi A., Tassi E.
[hal-00816703 - version 2] (29/04/2013)
A Machine-Checked Proof of the Odd Order Theorem
Gonthier G., Asperti A., Avigad J., Bertot Y., Cohen C., Garillot F., Le Roux S., Mahboubi A., O'Connor R., Ould Biha S. et al
[hal-00816699 - version 1] (22/04/2013)
Implementing hash-consed structures in Coq
Braibant T., Jourdan J.-H., Monniaux D.
[hal-00816672 - version 1] (22/04/2013)
Type-theoretical natural language semantics: on the system F for meaning assembly
Retoré C.
Dans
TYPES 2013 book of abstracts
-
TYPES 2013
, France (2013) [hal-00799685 - version 1]
1
-
2
-
3
-
4
-
5
-
6
-
7
...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...