Special

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.

Search by property

A list of all pages that have property "Job references" with value " * HOAF: format for omega-automata with general acceptance. http://adl.github.io/hoaf/ * Spot: C++ library in which we would like to implement the developed algorithms. https://spot.lrde.epita.fr/ * Christof Löding's diploma thesis about conversion between different acceptance types. http://www.automata.rwth-aachen.de/~loeding/diploma_loeding.pdf ". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • Jobs/M2 ADL 2015 General Acceptance Condition  + ( * HOAF: format for omega-automata with ge … </br>* HOAF: format for omega-automata with general acceptance. http://adl.github.io/hoaf/</br>* Spot: C++ library in which we would like to implement the developed algorithms. https://spot.lrde.epita.fr/</br>* Christof Löding's diploma thesis about conversion between different acceptance types. http://www.automata.rwth-aachen.de/~loeding/diploma_loeding.pdf</br>rwth-aachen.de/~loeding/diploma_loeding.pdf )
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:Job-20references/*-20HOAF:-20format-20for-20omega-2Dautomata-20with-20general-20acceptance.-20http:-2F-2Fadl.github.io-2Fhoaf-2F-0A*-20Spot:-20C%2B%2B-20library-20in-20which-20we-20would-20like-20to-20implement-20the-20developed-20algorithms.-20-20https:-2F-2Fspot.lrde.epita.fr-2F-0A*-20Christof-20Löding%27s-20diploma-20thesis-20about-20conversion-20between-20different-20acceptance-20types.-20http:-2F-2Fwww.automata.rwth-2Daachen.de-2F~loeding-2Fdiploma-5Floeding.pdf"