Recent Trends in Algebraic Development Techniques - Recent Trends in Algebraic DevelopmentTechniques Access content directly
Books Year : 2013

Recent Trends in Algebraic Development Techniques

Abstract

Book Front Matter of LNCS 7841

Domains

Computer Science [cs]
BookFrontmatter.pdf (107.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Thursday, March 9, 2017-2:53:53 PM

Last modification on : Tuesday, October 19, 2021-3:44:46 PM

Consult the full text

Dates and versions

hal-01485894 , version 1 (09-03-2017)

Licence

Attribution

Identifiers

Cite

Narciso Martí-Oliet, Miguel Palomino. Recent Trends in Algebraic Development Techniques: 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012. Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩. ⟨hal-01485894⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-LNCS-7841 IFIP-WADT
136 View
381 Download

Altmetric

Share

Gmail Facebook X LinkedIn More