Primitive recursive selection functions for existential assertions over abstract algebras

TitlePrimitive recursive selection functions for existential assertions over abstract algebras
Publication TypeJournal Article
Year of Publication2008
AuthorsStrahm, T, Zucker, JI
JournalJournal of Logic and Algebraic Programming
Volume76
Pagination175-197
URLhttp://www.iam.unibe.ch/ltgpub/2008/sz08.pdf