.:. 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 ...