Linked Data Explorerhttp://worldcat.org/entity/work/id/895871456
Linear Logic in Computer Science
This book illustrates linear logic in the application of proof theory to computer science.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/informatique_mathematiques
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/informatica_matematica
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/logique_mathematique
- http://id.worldcat.org/fast/1002068
- http://id.loc.gov/authorities/subjects/sh85042295
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/bizonyitaselmelet
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/matematikai_logika_szamitastudomany
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/mathematics_logic
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/informatica
- http://id.loc.gov/authorities/subjects/sh85078115
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/ciencia_de_los_computadores_matematicas
- http://id.worldcat.org/fast/872460
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/logica_matematica
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/teoria_de_la_demostracion
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/lineare_logik
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/logica_algebrica_congres_informatica
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/informatik
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/mathematics_infinity
- http://id.loc.gov/authorities/subjects/sh85107437
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/demostracio_teoria_de_la
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/logica_simbolica_y_matematica
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/theorie_de_la_demonstration
- http://experiment.worldcat.org/entity/work/data/895871456#Topic/szamitastudomany
- http://id.worldcat.org/fast/1078942
http://schema.org/contributor
- http://worldcat.org/entity/person/id/2638191545
- http://experiment.worldcat.org/entity/work/data/895871456#Meeting/workshop_on_structured_ring_spectra_and_their_applications_2002_glasgow
- http://id.loc.gov/authorities/names/n79118957
- http://worldcat.org/entity/person/id/2635631957
- http://experiment.worldcat.org/entity/work/data/895871456#Meeting/azores_summer_school_on_linear_logic_and_computer_science_2000_08_30_09_07_st_miguel
- http://worldcat.org/entity/person/id/2739571245
- http://worldcat.org/entity/person/id/2628632148
- http://viaf.org/viaf/147737299
http://schema.org/description
- "This book illustrates linear logic in the application of proof theory to computer science."@en
http://schema.org/genre
- "São Miguel (2000)"
- "Electronic books"@en
- "Electronic books"
- "Kongress"
http://schema.org/name
- "Linear logic in computer science"
- "Linear Logic in Computer Science"@en
- "Linear Logic in Computer Science"
http://schema.org/workExample
- http://www.worldcat.org/oclc/492235212
- http://www.worldcat.org/oclc/776966446
- http://www.worldcat.org/oclc/847068818
- http://www.worldcat.org/oclc/803399491
- http://www.worldcat.org/oclc/56655091
- http://www.worldcat.org/oclc/849117573
- http://www.worldcat.org/oclc/440657075
- http://www.worldcat.org/oclc/318406918
- http://www.worldcat.org/oclc/249096947
- http://www.worldcat.org/oclc/895304728
- http://www.worldcat.org/oclc/909508598
- http://www.worldcat.org/oclc/475703617