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

Scholarly Activity

related documents

Primitive recursive selection functions for existential assertions over abstract algebras Conferences