Fingerprint
Dive into the research topics of 'A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Research output: Contribution to journal › Article › peer-review