Communication Dans Un Congrès
Année : 2017
Etienne Lozes : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01920599
Soumis le : mardi 13 novembre 2018-13:26:10
Dernière modification le : mardi 27 février 2024-03:30:36
Dates et versions
Identifiants
- HAL Id : hal-01920599 , version 1
Citer
Florian Bruse, Martin Lange, Etienne Lozes. Space-Efficient Fragments of Higher-Order Fixpoint Logic. RP, 2017, London, United Kingdom. ⟨hal-01920599⟩
Collections
65
Consultations
0
Téléchargements