swMATH11992MaRDI QIDQ23926FDOQ23926
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_31
Cited In (12)
- A resolution-based calculus for preferential logics
- CoLoSS
- TATL
- Racer
- fCube
- Imogen
- PGSolver
- JTabWb
- leanK
- CLProver
- Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19--22, 2014. Proceedings
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
This page was built for software: Cool
