Folgen
Wladimir Fridman
Wladimir Fridman
RWTH Aachen University
Bestätigte E-Mail-Adresse bei automata.rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
Degrees of lookahead in context-free infinite games
W Fridman, C Löding, M Zimmermann
Leibniz International Proceedings in Informatics, LIPIcs 12, 264-276, 2011
232011
Distributed synthesis for regular and contextfree specifications
W Fridman, B Puchala
Acta informatica 51, 221-260, 2014
102014
Formats of winning strategies for six types of pushdown games
W Fridman
arXiv preprint arXiv:1006.1415, 2010
102010
Playing pushdown parity games in a hurry
W Fridman, M Zimmermann
arXiv preprint arXiv:1210.2458, 2012
92012
A study of pushdown games
W Fridman
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5