Space-Efficient Fragments of Higher-Order Fixpoint Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

hal-01920599 , version 1 (13-11-2018)

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⟩
65 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More