• R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • CoLoSS: The Coalgebraic Logic Satisfiability Solver CoLoSS, the...