Zum Inhalt springen

  2. Meier, Ursula [Sonstige Person, Familie und Körperschaft]; Jaccoud, Antoine [Sonstige Person, Familie und Körperschaft]; Parish, John [Sonstige Person, Familie und Körperschaft]; Seydoux, Léa [Sonstige Person, Familie und Körperschaft]; Mottet Klein, Kacey [Sonstige Person, Familie und Körperschaft]; Anderson, Gillian [Sonstige Person, Familie und Körperschaft]; Godard, Agnès [Sonstige Person, Familie und Körperschaft]

    Winterdieb (1 DVD-Video)

    Videos
    Schließen

    Merkliste

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

    [S.l.]: Arsenal Filmverleih, 2013

    Erschienen in: Good! Movies

  7. Czerwiński, Wojciech [VerfasserIn]; Mottet, Antoine [VerfasserIn]; Quaas, Karin [VerfasserIn] ; Wojciech Czerwiński and Antoine Mottet and Karin Quaas [MitwirkendeR]

    New Techniques for Universality in Unambiguous Register Automata

    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, 2021

  8. Pinsker, Michael [VerfasserIn] ; Gillibert, Pierre [Sonstige Person, Familie und Körperschaft]; Jonušas, Julius [Sonstige Person, Familie und Körperschaft]; Kompatscher, Michael [Sonstige Person, Familie und Körperschaft]; Mottet, Antoine [Sonstige Person, Familie und Körperschaft]

    Hrushovski's encoding and ω-categorical CSP monsters: Q/A Session B - Paper B4.B

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020) -

  9. Mottet, Antoine [VerfasserIn]; Nagy, Tomáš [VerfasserIn]; Pinsker, Michael [VerfasserIn]; Wrona, Michał [VerfasserIn] ; Antoine Mottet and Tomáš Nagy and Michael Pinsker and Michał Wrona [MitwirkendeR]

    Smooth Approximations and Relational Width Collapses

    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, 2021

  10. Gillibert, Pierre [VerfasserIn]; Jonušas, Julius [VerfasserIn]; Kompatscher, Michael [VerfasserIn]; Mottet, Antoine [VerfasserIn]; Pinsker, Michael [VerfasserIn] ; Pierre Gillibert and Julius Jonušas and Michael Kompatscher and Antoine Mottet and Michael Pinsker [MitwirkendeR]

    Hrushovski’s Encoding and ω-Categorical CSP Monsters

    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, 2020

  11. Bodirsky, Manuel [VerfasserIn]; Martin, Barnaby [VerfasserIn]; Mamino, Marcello [VerfasserIn]; Mottet, Antoine [VerfasserIn] ; Manuel Bodirsky and Barnaby Martin and Marcello Mamino and Antoine Mottet [MitwirkendeR]

    The Complexity of Disjunctive Linear Diophantine Constraints

    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, 2018

  17. Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine

    Automata, Languages, and Programming: Constraint Satisfaction Problems over the Integers with Successor

    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.

    Springer Berlin Heidelberg, 2015

    Erschienen in: Automata, Languages, and Programming

  19. Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander

    Extensions of unification modulo ACUI

    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), 2020

    Erschienen in: Mathematical Structures in Computer Science