Recherche avancée
|
Historique de recherche
Mon DI-fusion
|
À propos de DI-fusion
|
Contact
|
Passe-partout
Titre
Personne
1
documents ont été repérés pour la recherche
"Pinchinat, Sophie"
.
Voyez ci-dessous les numéros
1
à
1
.
Alternating Tree Automata with Qualitative Semantics
par
Berthon, Raphaël
; Fijalkow, Nathanaël
; Filiot, Emmanuel
; Guha, Shibashis
; Maubert, Bastien
; Murano, Aniello
; Pinault, Laureline
; Pinchinat, Sophie
; Rubin, Sasha
; Serre, Olivier
Référence
ACM transactions on computational logic, 22, 1, 7
Publication
Publié, 2021-01-01
Article révisé par les pairs
Accès en ligne
Sujets semblables
Exporter la liste de :
Loading scholar E-mail ...
Fermer
Export bibliographie
Format de fichier :
PDF (par défaut)
RTF
bibtex
CSV
RIS
Depuis :
Jusqu'à :
Inclure les références sans date :
Trier par :
Type de publication (par défaut)
Année de publication
Rôles :
All (par défaut)
Auteur
Editeur
Promoteur d'une thèse de doctorat
Co-Promoteur d'une thèse de doctorat
Membre de jury d'une thèse de doctorat
Président de jury d'une thèse de doctorat
Inclure les liens vers le texte intégral :
Oui (Non est la valeur par défaut)
Inclure l'abstract:
Oui (Non est la valeur par défaut)
Afficher l'ORCID iD:
Oui (Non est la valeur par défaut)
