Results 1 to 2 of 2
Sort by:

  • 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...