Symbolic computation via program transformation
From MaRDI portal
Publication:1623144
DOI10.1007/978-3-030-02508-3_17MaRDI QIDQ1623144
Jiří Barnat, Henrich Lauko, Petr Ročkai
Publication date: 23 November 2018
Full work available at URL: https://arxiv.org/abs/1806.03959
68Qxx: Theory of computing
Uses Software