Games for the μ-calculus von Niwiński, Damian, Walukiewicz, Igor

Volltext

On the positional determinacy of edge-labeled games von Colcombet, Thomas, Niwiński, Damian

Volltext

A gap property of deterministic tree languages von Niwiński, Damian, Walukiewicz, Igor

Volltext

Automata on Infinite Trees with Counting Constraints von Beauquier, D., Niwinski, D.

Volltext

On the Feasibility of Checking Temporal Integrity Constraints von Chomicki, J., Niwinski, D.

Volltext

Higher-Order Pushdown Trees Are Easy von Knapik, Teodor, Niwiński, Damian, Urzyczyn, Paweł

Volltext

About the effect of the number of successful paths in an infinite tree on the recognizability by a finite automaton with Buchi conditions von Beauquier, D., Nivat, M., Niwiński, D.

Volltext

Unsafe Grammars and Panic Automata von Knapik, Teodor, Niwiński, Damian, Urzyczyn, Paweł, Walukiewicz, Igor

Volltext

On the cardinality of sets of infinite trees recognizable by finite automata von Niwiński, Damian

Volltext

y = 2x VS. y = 3x von Stolboushkin, Alexei, Niwiński, Damian

Volltext

Relating hierarchies of word and tree automata von Niwiński, Damian, Walukiewicz, Igor

Volltext

y=2x vs. y=3x von Niwinski, D., Stolboushkin, A.

Volltext bestellen

The Horn mu-calculus von Charatonik, W., McAllester, D., Niwinski, D., Podelski, A., Walukiewicz, I.

Volltext

Fixed-point characterization of context-free ∞-languages von NIWINSKI, D

Volltext

μ-Calculus via Games von NIWINSKI, Damian

Volltext

Deciding Monadic Theories of Hyperalgebraic Trees von Knapik, Teodor, Niwiński, Damian, Urzyczyn, Paweł

Volltext

Rudiments of Calculus von Arnold, A, Niwinski, D

Volltext

Le passage de la XXe à la XXIIe dynastie : Chronologie et histoire politique von NIWINSKI, A

Volltext

A geometrical view of the determinization and minimization of finite-state automata von Courcelle, Bruno, Niwinski, Damian, Podelski, Andreas

Volltext

Cercueil de prêtre égyptien à l'Université Jagellonne von NIWINSKI, A

Volltext