Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Jobs/PHD 2019 omegaGPU + (Les ω-automates sont des automates représe … Les ω-automates sont des automates représentant des mots de longueur</br>infinie. Le projet Spot propose différent outils et algorithmes pour</br>la manipulation de ces automates. Pour le moment tous ces algorithmes</br>sont écrits de façon séquentielle, parfois en utilisant des structures</br>de données symboliques (par exemple des diagrammes de décision</br>binaires).mple des diagrammes de décision binaires).)