Skip to Main content Skip to Navigation
Lectures

Introduction to Deep Inference

Document type :
Lectures
Complete list of metadata

Cited literature [74 references]  Display  Hide  Download

https://hal.inria.fr/hal-02390267
Contributor : Lutz Straßburger <>
Submitted on : Monday, December 2, 2019 - 11:47:08 PM
Last modification on : Friday, April 30, 2021 - 10:02:40 AM
Long-term archiving on: : Tuesday, March 3, 2020 - 8:08:09 PM

File

ESSLLI19notes.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02390267, version 1

Citation

Andrea Tubella, Lutz Straßburger. Introduction to Deep Inference. École thématique. Introduction to Deep Inference, Riga, Latvia. 2019. ⟨hal-02390267⟩

Share

Metrics

Record views

496

Files downloads

830