tr-announce September 2009

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 3 discussions

2009-18: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
by Carsten Fuhs
14 years, 8 months

2009-16: Vertex Splitting and the Recognition of Trapezoid Graphs
by Carsten Fuhs
14 years, 8 months

2009-17: Learning Communicating and Nondeterministic Automata
by Carsten Fuhs
14 years, 8 months
Results per page: