Constructive Proofs or Constructive Statements?

  1. Rubio, J.
Proceedings:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Year of publication: 2006

Mathematics, Algorithms, Proofs 2005

Volume: 5021

Type: Conference paper