Zum Inhalt springen

Kuske, Dietrich [Verfasser:in]; Schwarz, Christian [Verfasser:in] ; Dietrich Kuske and Christian Schwarz [Mitwirkende:r]

Complexity of Counting First-Order Logic for the Subword Order

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, 2020
Kuske, Dietrich [Verfasser:in]; Schwarz, Christian [Verfasser:in]

Complexity of counting first-order logic for the subword order

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.

Digital Library Thüringen, 2020-08-18
Van Rooijen, Lorijn [Verfasser:in] ; Bordeaux [Mitwirkende:r]; Zeitoun, Marc [Mitwirkende:r]

Une approche combinatoire du problème de séparation pour les langages réguliers ; A combinatorial approach to the separation problem for regular languages

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

theses.fr, 2014-12-04
Masopust, Tomás [Verfasser:in] ; Tomás Masopust [Mitwirkende:r]

Piecewise Testable Languages and Nondeterministic Automata

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, 2016
Goubault-Larrecq, Jean [Verfasser:in]; Schmitz, Sylvain [Verfasser:in] ; Jean Goubault-Larrecq and Sylvain Schmitz [Mitwirkende:r]

Deciding Piecewise Testable Separability for Regular Tree Languages

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, 2016
Czerwinski, Wojciech [Verfasser:in]; Martens, Wim [Verfasser:in]; van Rooijen, Lorijn [Verfasser:in]; Zeitoun, Marc [Verfasser:in]; Zetzsche, Georg [Verfasser:in]

A Characterization for Decidable Separability by Piecewise Testable Languages

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

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

University of Bayreuth: ERef Bayreuth, 2017-12-11
Czerwinski, Wojciech [Verfasser:in]; Martens, Wim [Verfasser:in]; van Rooijen, Lorijn [Verfasser:in]; Zeitoun, Marc [Verfasser:in]

A Note on Decidable Separability by Piecewise Testable Languages

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

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

University of Bayreuth: ERef Bayreuth, 2015
Karandikar, Prateek [Verfasser:in]; Schnoebelen, Philippe [Verfasser:in] ; Prateek Karandikar and Philippe Schnoebelen [Mitwirkende:r]

The Height of Piecewise-Testable Languages with Applications in Logical Complexity

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, 2016
Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard

Piecewise testable tree languages

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.

Centre pour la Communication Scientifique Directe (CCSD), 2012

Erschienen in: Logical Methods in Computer Science, Volume 8, Issue 3 (2012)
Masopust, Tomáš; Thomazo, Michaël

On Boolean combinations forming piecewise testable languages

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.

Elsevier BV, 2017

Erschienen in: Theoretical Computer Science, 682 (2017), Seite 165-179
Klíma, Ondřej

Piecewise testable languages via combinatorics on words

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.

Elsevier BV, 2011

Erschienen in: Discrete Mathematics, 311 (2011) 20, Seite 2124-2127
Klíma, Ondřej; Polák, Libor

Developments in Language Theory: Biautomata for k-Piecewise Testable Languages

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

Erschienen in: Developments in Language Theory (2012), Seite 344-355
Klíma, Ondřej; Polák, Libor

Developments in Language Theory: Hierarchies of Piecewise Testable Languages

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

Erschienen in: Developments in Language Theory (2008), Seite 479-490
Masopust, Tomáš

Separability by piecewise testable languages is PTime-complete

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.

Elsevier BV, 2018

Erschienen in: Theoretical Computer Science, 711 (2018), Seite 109-114
Wojciech Czerwiński; Wim Martens; Lorijn van Rooijen; Marc Zeitoun; Georg Zetzsche

A Characterization for Decidable Separability by Piecewise Testable Languages

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.

2017

Erschienen in: Discrete Mathematics & Theoretical Computer Science (2017)
Higgins, Peter M.

A proof of Simon's theorem on piecewise testable languages

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.

Elsevier BV, 1997

Erschienen in: Theoretical Computer Science, 178 (1997) 1-2, Seite 257-264
Klíma, Ondřej; Polák, Libor

Developments in Language Theory: Alternative Automata Characterization of Piecewise Testable Languages

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

Erschienen in: Developments in Language Theory (2013), Seite 289-300
Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc

Mathematical Foundations of Computer Science 2013: Separating Regular Languages by Piecewise Testable and Unambiguous Languages

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

Erschienen in: Mathematical Foundations of Computer Science 2013 (2013), Seite 729-740
Prateek Karandikar; Philippe Schnoebelen

The height of piecewise-testable languages and the complexity of the logic of subwords

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.

2019

Erschienen in: Logical Methods in Computer Science (2019)
Konovalov, Anton; Selivanov, Victor

Pursuit of the Universal: The Boolean Algebra of Piecewise Testable Languages

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 International Publishing, 2016

Erschienen in: Pursuit of the Universal (2016), Seite 292-301

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr