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
- A Promela front-end for Spot +
- Alternate Fictitious Play study and implementation +
- Amélioration de la composition des transducteurs dans Vaucanson +
- Automata Reduction +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Booster la généricité de Vaucanson +
- Booster les itérateurs de Vaucanson +
- Boosting Vaucanson's Iterator +
- Boosting Vaucanson's genericity +
- C++ Program Slicing with Transformers +
- C++ template disambiguation with Transformers Attribute Grammars +
- Centaur : Une infrastructure générique simplifiant les transformations de C++ +
- Centaur: A generic framework simplifying C++ transformation +
- Color types in Milena +
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
- Distance Transform +
- Distance Transform +
- Découpage de programme C++ avec Transformers +
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers +