Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Bildinformationen anzeigen
|

A Characterization for Decidable Separability by Piecewise Testable Languages

Unser Papier A Characterization for Decidable Separability by Piecewise Testable Languages wurde bei dem Journal Discrete Mathematics and Theoretical Computer Science (DMTCS) akzeptiert.

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetsche: A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics and Theoretical Computer Science (DMTCS), vol. 19, no. 4. (2017)

Ansprechpartner

Lorijn van Rooijen

Dr. Lorijn van Rooijen

Datenbank- und Informationssysteme

Zur Person

Die Universität der Informationsgesellschaft