Proceedings 8th Workshop on Fixed Points in Computer Science

Dale Miller 1, 2 Zoltán Ésik 3
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Ouvrage (y compris édition critique et traduction)
Electronic Proceedings in Theoretical Computer Science, 77, pp.61, 2012, 〈10.4204/EPTCS.77〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00776273
Contributeur : Dale Miller <>
Soumis le : mardi 15 janvier 2013 - 12:05:01
Dernière modification le : jeudi 10 mai 2018 - 02:06:24

Identifiants

Collections

Citation

Dale Miller, Zoltán Ésik. Proceedings 8th Workshop on Fixed Points in Computer Science. Electronic Proceedings in Theoretical Computer Science, 77, pp.61, 2012, 〈10.4204/EPTCS.77〉. 〈hal-00776273〉

Partager

Métriques

Consultations de la notice

178