Bernd Ingo Dahn

Suggest Changes
  • Citations Per Year
Learn More
i Preface The concept of strategy allows describing and guiding computations and deductions in automated theorem provers, proof checkers, logical frameworks. Strategies are used for various purposes,(More)
  • 1