1. Mathématiques
  2. Mathématiques élémentaires
  3. Équation

On the expressive completeness of the propositional mu-calculus w.r.t. monadic second order logic

Téléchargement
Ajouter à la (aux) collection (s) Ajouter à enregistré
1 / 15 100%
  1. Mathématiques
  2. Mathématiques élémentaires
  3. Équation

On the expressive completeness of the propositional mu-calculus w.r.t. monadic second order logic

Téléchargement
Ajouter à la (aux) collection (s) Ajouter à enregistré
Documents connexes
Exercise 1
Exercise 1
Automata for the modal mu-calculus and related results
Automata for the modal mu-calculus and related results
PDF
PDF
PDF
PDF
Open access
Open access
Open access
Open access
Final version
Final version
[staff.science.uva.nl]
[staff.science.uva.nl]
Open access
Open access
Open access
Open access
Pearce et al 97
Pearce et al 97
La catégorie de ce document est-elle correcte?
  1. Mathématiques
  2. Mathématiques élémentaires
  3. Équation
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !

Produits
Assistance
© 2013 - 2024 studylibfr.com toutes les autres marques déposées et droits dauteur sont la propriété de leurs propriétaires respectifs
GDPR Confidentialité Conditions d'utilisation