Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
XX
BSO - Titre
On the relationship between higher-order recursion schemes and higher-order fixpoint logic
XX
DOI
DOI
10.1145/3009837.3009854
XX
DOAI
DOAI
10.1145/3009837.3009854
XX
Identifiant WoS
WOS:000408311200020
XX
Accès ouvert
OA - Non
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Non OA
XX
Editeur
ACM Press
XX
Source
ACM SIGPLAN NOTICES
XX
ISSN
0362-1340
XX
Type de document
Meeting Abstract
XX
Notoriété
0 - Sans notoriété
XX
CNRS
Oui
XX
CNRS - Institut
INS2I - Institut des sciences de l'information et de leurs interactions
XX
uid:/FS4FBHT1
12/10/2021 14:52:50 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
