Quantifier Elimination for Reasoning in Economics

Casey B. Mulligan, Russell Bradford, James Davenport, Matthew England, Zak Tonks

Research output: Other contribution

Fingerprint

Dive into the research topics of 'Quantifier Elimination for Reasoning in Economics'. Together they form a unique fingerprint.

Computer Science

Economics, Econometrics and Finance