Zum Inhalt springen Krötzsch, Markus [Verfasser:in]; Marx, Maximilian [Verfasser:in]; Rudolph, Sebastian [Verfasser:in] ; Markus Krötzsch and Maximilian Marx and Sebastian Rudolph [Mitwirkende:r] The Power of the Terminating Chase (Invited Talk) Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 34 (2020) 4, Seite 465-473 Gogacz, Tomasz; Marcinkowski, Jerzy Automata, Languages, and Programming: All–Instances Termination of Chase is Undecidable 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 Berlin Heidelberg, 2014 Erschienen in: Automata, Languages, and Programming (2014), Seite 293-304
Krötzsch, Markus [Verfasser:in]; Marx, Maximilian [Verfasser:in]; Rudolph, Sebastian [Verfasser:in] ; Markus Krötzsch and Maximilian Marx and Sebastian Rudolph [Mitwirkende:r] The Power of the Terminating Chase (Invited Talk) Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 34 (2020) 4, Seite 465-473
> 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 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 (2014), Seite 293-304
> 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