Preface for the special journal issue J. Logic Comput. containing selected papers from the International Workshop on Proof, Structure, and Computation (PSC) held in Vienna on 17–18 July 2014, within the Vienna Summer of Logic (VSL). PSC was a CSL–LICS-affiliated workshop on the extraction of computational content from proofs.

Preface for the special issue of Proof, Structure, and Computation 2014

Schuster, Peter;
2016-01-01

Abstract

Preface for the special journal issue J. Logic Comput. containing selected papers from the International Workshop on Proof, Structure, and Computation (PSC) held in Vienna on 17–18 July 2014, within the Vienna Summer of Logic (VSL). PSC was a CSL–LICS-affiliated workshop on the extraction of computational content from proofs.
2016
proof, structure, computation
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/995273
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact