swMATH21544MaRDI QIDQ33351FDOQ33351
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=753129
Cited In (19)
- Title not available (Why is that?)
- A completion-based method for mixed universal and rigid \(E\)-unification
- Ordered tableaux: extensions and applications
- The tableau-based theorem prover 3 T A P Version 4.0
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- What you always wanted to know about rigid \(E\)-unification
- Title not available (Why is that?)
- The disconnection tableau calculus
- Free variable tableaux for propositional modal logics
- GrAnDe
- MGTP
- leanTAP
- PROTEIN
- HARP
- Symlog
- LeanT A P: Lean tableau-based theorem proving
- Incremental theory reasoning methods for semantic tableaux
- Hyper tableaux
- Theorem proving in large theories
This page was built for software: 3TAP
