Cancellation Meadows: a Generic Basis Theorem and Some Applications
From MaRDI portal
Publication:6208922
DOI10.1093/COMJNL/BXS028arXiv0803.3969MaRDI QIDQ6208922
Inge Bethke, Jan A. Bergstra, Alban Ponse
Publication date: 27 March 2008
This page was built for publication: Cancellation Meadows: a Generic Basis Theorem and Some Applications