Eintrag in der Universitätsbibliographie der TU Chemnitz
Tantow, Johannes ;
Gerlach, Lukas ;
Mennicke, Stephan ;
Krötzsch, Markus
Forster, Yannick ; Keller, Chantal
Verifying Datalog Reasoning with Lean
| Universität: | Technische Universität Chemnitz | |
| Förderung: | DFG 389792660 | |
| Institut: | Professur Theoretische Informatik | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 978-3-95977-396-6, 1868-8969 | |
| DOI: | doi:10.4230/lipics.itp.2025.36 | |
| URL/URN: | urn:nbn:de:0030-drops-246342 | |
| Quelle: | In: LIPIcs 16th International Conference on Interactive Theorem Proving (ITP 2025). - Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. - 352. 2025, 162025, 36:1 - 36:19. - 16th International Conference on Interactive Theorem Proving (ITP 2025) | |
| Freie Schlagwörter (Englisch): | Certifying Algorithms , Datalog , Formal Verification | |
| OA-Lizenz | CC BY 4.0 |
