Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)

P. BruscoliP. Bruscoli,  F. LamarcheF. Lamarche,  C. StewartC. Stewart
P. Bruscoli, F. Lamarche, C. Stewart
Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
, 2005. Technische Universität Dresden
@proceedings{BLS2005,
  author    = {P. Bruscoli and F. Lamarche and C. Stewart},
  title     = {Structures and Deduction - the Quest for the Essence of Proofs
               (satellite workshop of {ICALP} 2005)},
  editor    = {P. Bruscoli and F. Lamarche and C. Stewart},
  publisher = {Technische Universit{\"{a}}t Dresden},
  year      = {2005}
}