Items where Author is "Duparc, Jacques"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 5.

Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2011) Definable Operations On Weakly Recognizable Sets of Trees. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India.

Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings.

Duparc, Jacques and Facchini, Alessandro (2009) A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. In: ILC 2007. Revised Selected Papers Infinity in Logic and Computation, International Conference, ILC 2007, November 3-5, 2007, Cape Town, South Africa.

Cabessa, Jérémie and Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) The Wadge Hierarchy of Max-Regular Languages. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India.

Duparc, Jacques and Facchini, Alessandro (2008) Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I). In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings.

This list was generated on Fri Mar 29 02:11:41 2024 CET.