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

Iliano Cervesato 1 Kaustuv Chaudhuri 2
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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

270