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

Research Output

Conference article

Non-linear real arithmetic benchmarks derived from automated reasoning in economics

Mulligan, C. B., Bradford, R., Davenport, J. H., England, M. & Tonks, Z., 11 Jul 2018, In : CEUR Workshop Proceedings. 2189, p. 48-60 13 p., 2.

Research output: Contribution to journalConference article

Open Access
7 Citations (Scopus)