![](/img/cover-not-exists.png)
The complexity of identifying characteristic formulae
Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, AnnaVolume:
112
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2020.100529
Date:
April, 2020
File:
PDF, 608 KB
2020