search result

Cover von The Logic of Bunched Implications Is Undecidable

The Logic of Bunched Implications Is Undecidable

Year: 2026
Media group: LIPIcs
Cover von Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12062
Media group: MONOGRAPHIE
Cover von Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 - May 1, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8428
Media group: MONOGRAPHIE
OPEN V 11.1.0.0