Joachim Posegga
From MaRDI portal
Person:1904399
Available identifiers
zbMath Open posegga.joachimMaRDI QIDQ1904399
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| LeanT A P: Lean tableau-based theorem proving | 2020-01-21 | Paper |
| Redactable Signatures for Independent Removal of Structure and Content | 2012-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818817 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738465 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753605 | 2001-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261069 | 1999-09-02 | Paper |
| Logic programming as a basis for lean automated deduction | 1997-11-10 | Paper |
| Automated Deduction with Shannon Graphs | 1996-09-15 | Paper |
| lean\(T^ AP\): Lean tableau-based deduction | 1996-05-28 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Joachim Posegga
