Primitive recursive selection functions for existential assertions over abstract algebras Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Strahm, Thomas
Zucker, Jeffery

status

published

publication date

July 2008

has subject area

01 Mathematical Sciences (FoR)
08 Information and Computing Sciences (FoR)
Computation Theory & Mathematics (Science Metrix)

published in

The Journal of Logic and Algebraic Programming Journal

presented at event

Joint Seminar on Logic and Information - From Logic to Constructive Reasoning Conference