Coalgebraic Methods in Computer Science - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2016

Coalgebraic Methods in Computer Science

Ichiro Hasuo
  • Fonction : Auteur
  • PersonId : 962128
The University of Tokyo

Résumé

Book Front Matter of LNCS 9608

Domaines

Informatique [cs]
BookFrontmatter.pdf (80.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01446038

Soumis le : mercredi 25 janvier 2017-15:24:43

Dernière modification le : lundi 17 mai 2021-12:00:04

Télécharger pour visualiser

Dates et versions

hal-01446038 , version 1 (25-01-2017)

Licence

Paternité

Identifiants

Citer

Ichiro Hasuo. Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Springer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩. ⟨hal-01446038⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-LNCS-9608 IFIP-WG1-3 IFIP-CMCS
51 Consultations
653 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More