decoration

Poids de l’Open access dans la production CNRS

Titre

On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic

XX

Identifiant WoS

WOS:000401538900018

XX

Accès ouvert

OA - Inconnu

XX

Source - Accès ouvert

OA - Inconnu

XX

Type d'accès

Inconnu

XX

Editeur

Inconnu

XX

Source

ACM SIGPLAN NOTICES

XX

ISSN

0362-1340

XX

Type de document

Article

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

Powered by Lodex 9.6.0

decoration