Recherche avancée
|
Historique de recherche
Mon DI-fusion
|
À propos de DI-fusion
|
Contact
|
Passe-partout
Titre
Personne
2
documents ont été repérés pour la recherche
"Serre, Olivier"
.
Voyez ci-dessous les numéros
1
à
2
.
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
Two-Way Two-Tape Automata
par
Carton, Olivier
; Exibard, Leo
; Serre, Olivier
Editeur scientifique
Charlier, Emilie
; Leroy, Julien
; Rigo, Michel
Référence
Lecture Notes in Computer Science, 10396, (page 147-159)
Publication
Publié, 2017-07-21
Publication dans des actes
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)
