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

• XML Proposal and its Application in Vaucanson  + (XML Proposal and its Application in Vaucanson)
• Yet Another Vaucanson GUI  + (Yet Another Vaucanson GUI)
• eXtended Reactive Modules  + (eXtended Reactive Modules)
• eXtended Reactive Modules  + (eXtended Reactive Modules)
• genus.py: a Simple Embeddable Type System for the Python language  + (genus.py: a Simple Embeddable Type System for the Python language)
• genus.py: un Système Simple de Typage Embarqué pour le language Python  + (genus.py: un Système Simple de Typage Embarqué pour le language Python)
• go2pins: A model checking toolset for the Go programming language  + (go2pins: A model checking toolset for the Go programming language)
• go2pins: vérification de modèles pour le langage de programmation Go  + (go2pins: vérification de modèles pour le langage de programmation Go)
• libDMC: a library to Operate Efficient Distributed Model Checking  + (libDMC: a library to Operate Efficient Distributed Model Checking)

• polyDD: Towards a Framework Generalizing Decision Diagrams  + (polyDD: Towards a Framework Generalizing Decision Diagrams)

• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire.  + (À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire.)
• Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques  + (Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques)
• Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers  + (Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers)
• Étude et implémentation du Fictitious Play alterné  + (Étude et implémentation du Fictitious Play alterné)