Titelangaben
Czerwinski, Wojciech ; David, Claire ; Losemann, Katja ; Martens, Wim:
Deciding definability by deterministic regular expressions.
In: Journal of Computer and System Sciences.
Bd. 88
(2017)
.
- S. 75-89.
ISSN 0022-0000
DOI: https://doi.org/10.1016/j.jcss.2017.03.011
Angaben zu Projekten
Projektfinanzierung: |
Deutsche Forschungsgemeinschaft |
---|
Weitere Angaben
Publikationsform: | Artikel in einer Zeitschrift |
---|---|
Begutachteter Beitrag: | Ja |
Institutionen der Universität: | Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Professur Angewandte Informatik VII > Professur Angewandte Informatik VII - Univ.-Prof. Dr. Wim Martens Forschungseinrichtungen > Forschungszentren > Forschungszentrum für Modellbildung und Simulation (MODUS) Fakultäten Fakultäten > Fakultät für Mathematik, Physik und Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Professur Angewandte Informatik VII Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
Titel an der UBT entstanden: | Ja |
Themengebiete aus DDC: | 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik |
Eingestellt am: | 15 Okt 2019 06:20 |
Letzte Änderung: | 15 Okt 2019 06:20 |
URI: | https://eref.uni-bayreuth.de/id/eprint/52620 |