The following pages link to Jens Otten (Q877896):
Displayed 24 items.
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Non-clausal connection calculi for non-classical logics (Q1694466) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ (Q2814524) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- The QMLTP Problem Library for First-Order Modal Logics (Q2908515) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- MleanCoP: A Connection Prover for First-Order Modal Logic (Q3192198) (← links)
- (Q3457212) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- Restricting backtracking in connection calculi (Q3568228) (← links)
- (Q4263017) (← links)
- (Q4520768) (← links)
- (Q4524786) (← links)
- (Q4530465) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
- RACCOON: A Connection Reasoner for the Description Logic ALC (Q4645736) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479281) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479292) (← links)