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
- Fast simulation based reduction for ω-automaton + (2123)
- Réduction basée sur des simulations d'ω-automates + (2123)
- Active Learning on Visibly One Counter Systems + (2124)
- Aprentissage Actif d'Automates Visiblement á un compteur + (2124)
- Fast reductions for ω-automaton + (2202)
- Réduction efficace d'ω-automate + (2202)