Skip to Main content Skip to Navigation
Books

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

José Fiadeiro 1 Ionuț Țuțu 1, 2
1 RHUL - Royal Holloway [University of London]
2 IMAR - "Simion Stoilow" Institute of Mathematics
Abstract : Book Front Matter of LNCS 11563
Document type :
Books
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
https://hal.inria.fr/hal-02364573
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 9:03:12 AM
Last modification on : Friday, November 15, 2019 - 9:05:04 AM

Annex

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

IFIP-LNCS | IFIP | IFIP-TC | IFIP-TC1 | IFIP-WG1-3 | IFIP-WADT | IFIP-LNCS-11563

Citation

José Fiadeiro, Ionuț Țuțu. Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩. ⟨hal-02364573⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

67

Files downloads

130

 

Contact                    Legal Notice                    Personal Data