tr-announce June 2010

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

2010-12: Dependency Triples for Improving Termination Analysis of Logic Programs with Cut
by Carsten Fuhs
13 years, 11 months

2010-11: Parametric LTL Games
by Carsten Fuhs
13 years, 11 months
Results per page: