Alternating tree automata

Results: 10



#Item
1Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

Add to Reading List

Source URL: my.unil.ch

Language: English
    2Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

    Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2009-12-02 05:39:41
      3Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe|finkbeiner}@cs.uni-sb.de

      Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe|finkbeiner}@cs.uni-sb.de

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: English - Date: 2008-09-22 13:39:05
      4Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis

      Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: English - Date: 2008-09-29 06:47:38
      5Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

      Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: English - Date: 2008-09-22 13:36:18
      6Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner|schewe}@cs.uni-sb.de

      Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner|schewe}@cs.uni-sb.de

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: English - Date: 2008-09-22 13:39:26
      7Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

      Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

      Add to Reading List

      Source URL: www.automata.rwth-aachen.de

      Language: English - Date: 2013-08-07 05:31:08
      8Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed]

      Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed]

      Add to Reading List

      Source URL: www.automata.rwth-aachen.de

      Language: English - Date: 2012-05-29 10:55:51
      9Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

      Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

      Add to Reading List

      Source URL: www.liafa.univ-paris-diderot.fr

      Language: English - Date: 2013-07-10 12:10:51
      10Dependency Tree Automata Colin Stirling School of Informatics

      Dependency Tree Automata Colin Stirling School of Informatics

      Add to Reading List

      Source URL: homepages.inf.ed.ac.uk

      Language: English - Date: 2009-01-05 09:54:02