Zum Inhalt springen

  1. Duparc, Jacques [VerfasserIn]; Fournier, Kevin [VerfasserIn]; Hummel, Szczepan [VerfasserIn] ; Jacques Duparc and Kevin Fournier and Szczepan Hummel [MitwirkendeR]

    On Unambiguous Regular Tree Languages of Index (0,2)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  2. Duparc, Jacques [VerfasserIn]; Facchini, Alessandro [VerfasserIn]; Murlak, Filip [VerfasserIn] ; Jacques Duparc and Alessandro Facchini and Filip Murlak [MitwirkendeR]

    Definable Operations On Weakly Recognizable Sets of Trees

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  3. Cabessa, Jérémie [VerfasserIn]; Duparc, Jacques [VerfasserIn]; Facchini, Alessandro [VerfasserIn]; Murlak, Filip [VerfasserIn] ; Jérémie Cabessa and Jacques Duparc and Alessandro Facchini and Filip Murlak [MitwirkendeR]

    The Wadge Hierarchy of Max-Regular Languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  4. Facchini, Alessandro [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Université de Lausanne [MitwirkendeR]; Walukiewicz, Igor [MitwirkendeR]; Duparc, Jacques [MitwirkendeR]

    A study on the expressive power of some fragments of the modal µ-calculus

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2010-12-03

  6. Vuilleumier, Louis [VerfasserIn] ; Université Paris Cité [MitwirkendeR]; Université de Lausanne [MitwirkendeR]; Melliès, Paul-André [MitwirkendeR]; Duparc, Jacques [MitwirkendeR]

    Continuous reductions on the Scott domain and decomposability conjecture ; Réductions continues sur le domaine de Scott et conjecture de la décomposabilité

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-06-29

  8. Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn] ; Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner [MitwirkendeR]

    08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  9. Kopperman, Ralph [VerfasserIn]; Panangaden, Prakash [VerfasserIn]; Smyth, Michael B. [VerfasserIn]; Spreen, Dieter [VerfasserIn]; Webster, Julian [VerfasserIn] ; Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen and Julian Webster [MitwirkendeR]

    04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  10. Kopperman, Ralph [VerfasserIn]; Panangaden, Prakash [VerfasserIn]; Smyth, Michael B. [VerfasserIn]; Spreen, Dieter [VerfasserIn]; Webster, Julian [VerfasserIn] ; Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen and Julian Webster [MitwirkendeR]

    04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  12. CARROY, RAPHAËL; MEDINI, ANDREA; MÜLLER, SANDRA

    CONSTRUCTING WADGE CLASSES

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge University Press (CUP), 2022

    Erschienen in: The Bulletin of Symbolic Logic

  14. Andretta, Alessandro; Martin, Donald A.

    Borel–Wadge degrees

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Mathematics, Polish Academy of Sciences, 2003

    Erschienen in: Fundamenta Mathematicae