search result

Cover von New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations

New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations

Year: 2026
Media group: LIPIcs
Cover von Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15979
Media group: MONOGRAPHIE
Cover von A Verified Algorithm for Deciding Pattern Completeness

A Verified Algorithm for Deciding Pattern Completeness

Year: 2024
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 268, ITP 2023, Complete Volume

LIPIcs, Volume 268, ITP 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 14th International Conference on Interactive Theorem Proving
ITP 2023 : July 31 to August 4, 2023, Białystok, Poland
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 268
Media group: LIPIcs
Cover von Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion

Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion

Year: 2013
Media group: LIPIcs
Cover von Modular and Certified Semantic Labeling and Unlabeling

Modular and Certified Semantic Labeling and Unlabeling

Year: 2011
Media group: LIPIcs
Cover von Certified Subterm Criterion and Certified Usable Rules

Certified Subterm Criterion and Certified Usable Rules

Year: 2010
Media group: LIPIcs
Cover von Certification of Complexity Proofs using CeTA

Certification of Complexity Proofs using CeTA

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0