Name: Linear Logic in Computer Science
Price: 1589 SEK
Availability: InStock
Author: Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott, Thomas Ehrhard
ISBN: 9780521608572

bokomslag Linear Logic in Computer Science

1589:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

392 sidor
2004

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.

Författare: Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott, Thomas Ehrhard
Format: Pocket/Paperback
ISBN: 9780521608572
Språk: Engelska
Antal sidor: 392
Utgivningsdatum: 2004-11-15
Förlag: Cambridge University Press