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

Computation Theory & Mathematics (Science Metrix)

published in

Journal of Logic Programming Journal

presented at event

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