Utvidet returrett til 31. januar 2025

Linear Logic in Computer Science

Om Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521608572
  • Bindende:
  • Paperback
  • Sider:
  • 392
  • Utgitt:
  • 15. november 2004
  • Dimensjoner:
  • 153x228x23 mm.
  • Vekt:
  • 520 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 13. desember 2024

Beskrivelse av Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Brukervurderinger av Linear Logic in Computer Science



Finn lignende bøker
Boken Linear Logic in Computer Science finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.