Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series)

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780521559614: Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series)
Ver todas las copias de esta edición ISBN.
 
 

Based to a large extent on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. The whole book begins with a general introduction on linear logic which should ensure that this book can be used by the novice as well as the expert.

"Sinopsis" puede pertenecer a otra edición de este libro.

Product Description:

Book by None

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Girard; Lafont; Regnier
Publicado por CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Condición: New. New. Language: English . Brand New Book ***** Print on Demand *****.Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. Nº de ref. del artículo: AAV9780521559614

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 66,55
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Girard, Jean-Yves
Publicado por Cambridge University Press (2016)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2016. Paperback. Condición: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780521559614_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 64,75
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,34
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Girard; Lafont; Regnier
Publicado por CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 10
Impresión bajo demanda
Librería
Book Depository International
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Condición: New. New. Language: English . Brand New Book ***** Print on Demand *****. Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. Nº de ref. del artículo: AAV9780521559614

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 71,86
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Girard, Jean-Yves
Publicado por Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 1995. PAP. Condición: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: LQ-9780521559614

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 65,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,12
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

EDITED BY JEAN-YVES GIRARD , YVES LAFONT , LAURENT REGNIER
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 1995. Paperback. Condición: NEW. 9780521559614 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0463242

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 68,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,97
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Girard, Jean-Yves (Editor)/ Lafont, Yves (Editor)/ Regnier, Laurent (Editor)/ Linear Logic Workshop (Corporate Author)
Publicado por Cambridge Univ Pr (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge Univ Pr, 1995. Paperback. Condición: Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. Nº de ref. del artículo: __0521559618

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 70,37
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,43
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Girard, Jean-Yves
Publicado por Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1995. PAP. Condición: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9780521559614

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 77,10
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Girard, Jean-Yves
Publicado por Cambridge University Press 2003-11 (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Cantidad disponible: 5
Impresión bajo demanda
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2003-11, 2003. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 4-5 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. del artículo: NU-LSI-06896012

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 52,62
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 33,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Girard; Lafont; Regnier
Publicado por Cambridge University Press (2018)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: > 20
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2018. Paperback. Condición: New. Never used! This item is printed on demand. Nº de ref. del artículo: 0521559618

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 88,97
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Jean-Yves Girard (Editor), Yves Lafont (Editor), Laurent Regnier (Editor)
Publicado por Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevo Paperback Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1995. Paperback. Condición: New. Nº de ref. del artículo: DADAX0521559618

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 86,55
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda