- Referenced in 9 articles
- turn need tool support on the metalevel. However, there is a lack of tools offering...
- Referenced in 29 articles
- AFRA: argumentation framework with recursive attacks. The issue...
- Referenced in 698 articles
- Maude is a high-performance reflective language and...
- Referenced in 394 articles
- The Nuprl system is a framework for reasoning...
- Referenced in 158 articles
- Edinburgh LCF. A mechanized logic of computation. From...
- Referenced in 31 articles
- The ITP tool is a theorem prover that...
- Referenced in 11 articles
- A sufficient completeness reasoning tool for partial specifications...
- Referenced in 10 articles
- GETFOL Interactive Theorem Prover. GETFOL is an interactive...