Verfasser Suchresultate :: Subito Katalog

1

Special issue: WORDS 2011 : [8th International Conference WORDS, held in Prague, Czech Republic, September 12 - 16, 2011]

Veröffentlicht 2012

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Lyndon Words Formalized in Isabelle/HOL

von Holub, Štěpán
Veröffentlicht in DLT (25. : 2021 : Porto, Portugal) Developments in Language Theory (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Binary Codes that Do Not Preserve Primitivity

von Holub, Štěpán
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: