Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Iliano Cervesato 1 Kaustuv Chaudhuri 2
1 Carnegie Mellon University in Qatar
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Iliano Cervesato; Kaustuv Chaudhuri. Aug 2015, Berlin, Germany. 2015, 〈10.4204/EPTCS.185〉. 〈http://lfmtp.org/workshops/2015〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01222747
Contributeur : Kaustuv Chaudhuri <>
Soumis le : vendredi 30 octobre 2015 - 14:41:47
Dernière modification le : mercredi 14 novembre 2018 - 16:14:01

Lien texte intégral

arxiv

Identifiants

Collections

INRIA | X | LIX | X-LIX | PARISTECH | UNIV-PARIS-SACLAY | X-DEP-INFO

Citation

Iliano Cervesato, Kaustuv Chaudhuri. Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice. Iliano Cervesato; Kaustuv Chaudhuri. Aug 2015, Berlin, Germany. 2015, 〈10.4204/EPTCS.185〉. 〈http://lfmtp.org/workshops/2015〉. 〈hal-01222747〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

270

Contact


archive-ouverte@inria.fr