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 |
