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

P. BruscoliP. Bruscoli, F. LamarcheF. Lamarche, C. StewartC. Stewart

Download

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

Details
Bibtex

Bemerkung: Note: ISSN 1430-211X,
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}