Neofusicoccum sp. GT4
National Institutes of Health
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
In this report we give an overview of the development of our new Waldmeister prover for equational theories. We elaborate a…