DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Visibly pushdown transducers
In: ISSN: 0022-0000 ; EISSN: 1090-2724 ; Journal of Computer and System Sciences ; https://hal.archives-ouvertes.fr/hal-02093318 ; Journal of Computer and System Sciences, Elsevier, 2018, 97, pp.147-181. ⟨10.1016/j.jcss.2018.05.002⟩ (2018)
BASE
Show details
2
Parameterized complexity of games with monotonically ordered omega-regular objectives ...
Bruyère, Véronique; Hautem, Quentin; Raskin, Jean-François. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2018
BASE
Show details
3
Parameterized complexity of games with monotonically ordered ω-regular objectives ...
BASE
Show details
4
Secure Equilibria in Weighted Games ...
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern