search result

Cover von Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18 - 21, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 14278
Media group: MONOGRAPHIE
Cover von The Logic of Bunched Implications Is Undecidable

The Logic of Bunched Implications Is Undecidable

Year: 2026
Media group: LIPIcs
Cover von Hypersequent Calculi Have Ackermann Complexity

Hypersequent Calculi Have Ackermann Complexity

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0