Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Toru{\'n}czyk, Szymon"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Weak MSO+U over infinite trees
Mikoƚaj Bojańczyk
,
Szymon Toruńczyk
Leibniz International Proceedings in Informatics (LIPIcs)
14
, 2012, pp. 648-660
Languages of profinite words and the limitedness problem
Szymon Toruńczyk
Lecture Notes in Computer Science
7392
, 2012, pp. 377-389
Automata based verification over linearly ordered data domains
Luc Segoufin
,
Szymon Toruńczyk
Leibniz International Proceedings in Informatics (LIPIcs)
9
, 2011, pp. 81-92
On the topological complexity of MSO+U and related automata models
Szczepan Hummel
,
Michaƚ Skrzypczak
,
Szymon Toruńczyk
Lecture Notes in Computer Science
6281
, 2010, pp. 429-440
Deterministic automata and extensions of weak MSO
Mikoƚaj Bojańczyk
,
Szymon Toruńczyk
Leibniz International Proceedings in Informatics (LIPIcs)
4
, 2009, pp. 73-84