If you made any changes in Pure these will be visible here soon.

Research Output 1979 2020

Filter
Editorial

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial