Skip to Main content Skip to Navigation
Books

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014

Marcello M. Bonsangue 1
1 Leiden University
Abstract : Book Front Matter of LNCS 8446
Document type :
Books
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
https://hal.inria.fr/hal-01408765
Contributor : Hal Ifip <>
Submitted on : Monday, December 5, 2016 - 1:28:07 PM
Last modification on : Monday, December 5, 2016 - 2:12:21 PM

Annex

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01408765, version 1

Collections

IFIP-LNCS | IFIP | IFIP-TC | IFIP-TC1 | IFIP-LNCS-8446 | IFIP-WG1-3 | IFIP-CMCS

Citation

Marcello M. Bonsangue. Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7. ⟨hal-01408765⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

201

Files downloads

96

 

Contact                    Legal Notice                    Personal Data