Zum Inhalt springen Krötzsch, Markus [VerfasserIn]; Marx, Maximilian [VerfasserIn]; Rudolph, Sebastian [VerfasserIn] ; Markus Krötzsch and Maximilian Marx and Sebastian Rudolph [MitwirkendeR] The Power of the Terminating Chase (Invited Talk) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 2019 Gogacz, Tomasz; Marcinkowski, Jerzy; Pieris, Andreas All-Instances Restricted Chase Termination for Linear TGDs 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. Springer Science and Business Media LLC, 2020 Erschienen in: KI - Künstliche Intelligenz Gogacz, Tomasz; Marcinkowski, Jerzy Automata, Languages, and Programming: All–Instances Termination of Chase is Undecidable Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Automata, Languages, and Programming
Krötzsch, Markus [VerfasserIn]; Marx, Maximilian [VerfasserIn]; Rudolph, Sebastian [VerfasserIn] ; Markus Krötzsch and Maximilian Marx and Sebastian Rudolph [MitwirkendeR] The Power of the Terminating Chase (Invited Talk) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gogacz, Tomasz; Marcinkowski, Jerzy; Pieris, Andreas All-Instances Restricted Chase Termination for Linear TGDs 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. Springer Science and Business Media LLC, 2020 Erschienen in: KI - Künstliche Intelligenz
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gogacz, Tomasz; Marcinkowski, Jerzy Automata, Languages, and Programming: All–Instances Termination of Chase is Undecidable Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Automata, Languages, and Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugangsstatus Skip to next facet Freier Zugang (1) Wert ausschließen Ohne Angabe (2) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (2) Wert ausschließen Nicht zu entscheiden (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Gogacz, Tomasz (2) Wert ausschließen Marcinkowski, Jerzy (2) Wert ausschließen Krötzsch, Markus (1) Wert ausschließen Markus Krötzsch and Maximilian Marx and Sebastian Rudolph (1) Wert ausschließen Marx, Maximilian (1) Wert ausschließen Pieris, Andreas (1) Wert ausschließen Rudolph, Sebastian (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen