decoration

Poids de l’Open access dans la production CNRS

Titre
Monadic Second-Order Logic with Arbitrary Monadic Predicates
BSO - Titre
Monadic Second-Order Logic with Arbitrary Monadic Predicates
Identifiant WoS
WOS:000408665000003
Accès ouvert
OA - Oui
Source - Accès ouvert
OA - Non
Type d'accès
Archive
Editeur

ACM - Association for Computing Machinery

Source

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

ISSN
1529-3785
Type de document
  • Article
Notoriété
3 - Correcte
CNRS
Oui
CNRS - Institut
  • INSMI - Institut national des sciences mathématiques et de leurs interactions
uid:/XZX9QF7D
Powered by Lodex 9.6.0
decoration