Space-Efficient Fragments of Higher-Order Fixpoint Logic

Type de document :
Communication dans un congrès
RP, 2017, London, United Kingdom
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01920599
Contributeur : Etienne Lozes <>
Soumis le : mardi 13 novembre 2018 - 13:26:10
Dernière modification le : jeudi 15 novembre 2018 - 01:13:32

Identifiants

  • HAL Id : hal-01920599, version 1

Citation

Florian Bruse, Martin Lange, Etienne Lozes. Space-Efficient Fragments of Higher-Order Fixpoint Logic. RP, 2017, London, United Kingdom. 〈hal-01920599〉

Partager

Métriques

Consultations de la notice

11