search result

Cover von Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities

Year: 2024
Media group: LIPIcs
Cover von Reconfiguration of Plane Trees in Convex Geometric Graphs

Reconfiguration of Plane Trees in Convex Geometric Graphs

article in SoCG 2024
Year: 2024
Media group: LIPIcs
Cover von Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14387
Media group: MONOGRAPHIE
Cover von Automated theorem-proving in non-classical logics
Author: Thistlewaite, Paul B.; MacRobbie, Michael A.; Meyer, Robert K. Search for this author
Year: 1988
Publisher: London, Pitman
Series: Research Notes in Theoretical Computer Science
Media group: MONOGRAPHIE
Cover von On Low-End Obfuscation and Learning

On Low-End Obfuscation and Learning

Year: 2023
Media group: LIPIcs
Cover von On the Complexity of Multi-Pushdown Games

On the Complexity of Multi-Pushdown Games

Year: 2020
Media group: LIPIcs
Cover von Software Technology
Methods and Tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15 - 17, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11771
Media group: MONOGRAPHIE
Cover von On the Upward/Downward Closures of Petri Nets

On the Upward/Downward Closures of Petri Nets

Year: 2017
Media group: LIPIcs
Cover von Räumliche Benutzerschnittstellen

Räumliche Benutzerschnittstellen

Artikel
Author: Boll, Susanne; Heuten, Wilko
Year: 2014
Media group: ARTICLE
Cover von From Visualization to Visually Enabled Reasoning

From Visualization to Visually Enabled Reasoning

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0