Introduction to Deep Inference

Andrea Aler Tubella; Lutz Strassburger

Cours Année : 2019

Introduction to Deep Inference

(1) , (2, 3, 4)

1
2
3
4

Andrea Aler Tubella

Fonction : Auteur

Department of Computing Science [Umeå, Sweden]

Lutz Strassburger

Fonction : Auteur
PersonId : 1253409
IdHAL : lutz-strassburger
ORCID : 0000-0003-4661-6540

Proof search and reasoning with logic specifications

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

CV

Domaines

Logique en informatique [cs.LO]

Fichier principal

ESSLLI19notes.pdf (798.21 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Lutz Straßburger : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02390267

Soumis le : lundi 2 décembre 2019-23:47:08

Dernière modification le : jeudi 2 novembre 2023-11:45:56

Archivage à long terme le : mardi 3 mars 2020-20:08:09

Dates et versions

hal-02390267 , version 1 (02-12-2019)

Identifiants

HAL Id : hal-02390267 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY IP_PARIS ANR GS-COMPUTER-SCIENCE

738 Consultations

997 Téléchargements

Introduction to Deep Inference

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager