Communication Dans Un Congrès
Année : 2018
Rémi Nollet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01825477
Soumis le : jeudi 28 juin 2018-13:01:06
Dernière modification le : vendredi 17 mai 2024-16:10:09
Dates et versions
Licence
Identifiants
- HAL Id : hal-01825477 , version 1
Citer
Rémi Nollet, Alexis Saurin, Christine Tasson. Local validity for circular proofs in linear logic with fixed points: extended version. Computer Science Logic, Sep 2018, Birmingham, United Kingdom. ⟨hal-01825477⟩
Collections
220
Consultations
0
Téléchargements