Results 1 to 8 of 8
Sort by:

  • MOFLON
  • Referenced in 9 articles [sw06922]
  • turn need tool support on the metalevel. However, there is a lack of tools offering...

  • AFRA
  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...

  • Maude
  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • Nuprl
  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...

  • LCF
  • Referenced in 158 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...

  • ITP
  • Referenced in 31 articles [sw09808]
  • The ITP tool is a theorem prover that...

  • SCC
  • Referenced in 11 articles [sw09809]
  • A sufficient completeness reasoning tool for partial specifications...

  • GETFOL
  • Referenced in 10 articles [sw26307]
  • GETFOL Interactive Theorem Prover. GETFOL is an interactive...