Relational and algebraic methods in computer science
Document Type: | Article |
---|---|
Language: | English |
Author: | Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller |
Parent Title (English): | Journal of Logical and Algebraic Methods in Programming |
Volume: | 85 |
Issue: | 4 |
First Page: | 447 |
Last Page: | 448 |
ISSN: | 2352-2208 |
DOI: | https://doi.org/10.1016/j.jlamp.2016.02.003 |
Publisher: | Elsevier |
Date of first publication: | 2016/02/17 |
Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Entry in this database: | 2017/01/13 |