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 "Krishnan et al.'s "Deterministic ω-Automata vis-a-vis Deterministic Büchi Automata" (ISAAC'94) C. Löding. [http://old.automata.rwth-aachen.de/download/papers/loeding/lo98.ps "Methods for the transformation of omega-automata: Complexity and connection to second order logic"] (Master Thesis 1998) U. Boker. [http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf "Why these automata types"] (LPAR 2018) http://spot.lrde.epita.fr/". 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 2017 MC Spot Generic Acc  + (Krishnan et al.'s "Deterministic ω-Automat … Krishnan et al.'s "Deterministic ω-Automata vis-a-vis Deterministic Büchi Automata" (ISAAC'94)</br></br>C. Löding. [http://old.automata.rwth-aachen.de/download/papers/loeding/lo98.ps "Methods for the transformation of omega-automata: Complexity and connection to second order logic"] (Master Thesis 1998)</br></br>U. Boker. [http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf "Why these automata types"] (LPAR 2018)</br></br></br>http://spot.lrde.epita.fr/ (LPAR 2018) http://spot.lrde.epita.fr/)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty"