search result

Cover von Algebraic Language Theory with Effects

Algebraic Language Theory with Effects

Year: 2025
Media group: LIPIcs
Cover von Creative Mathematical Sciences Communication
7th International Conference, CMSC 2024, Germany, October 7-10, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15229
Media group: MONOGRAPHIE
Cover von SubModST

SubModST

A Fast Generic Solver for Submodular Maximization with Size Constraints
Year: 2024
Media group: LIPIcs
Cover von The Directed Van Kampen Theorem in Lean

The Directed Van Kampen Theorem in Lean

Year: 2024
Media group: LIPIcs
Cover von Positive Data Languages

Positive Data Languages

Year: 2023
Media group: LIPIcs
Cover von Roman Census

Roman Census

Enumerating and Counting Roman Dominating Functions on Graph Classes
Year: 2023
Media group: LIPIcs
Cover von Nominal Topology for Data Languages

Nominal Topology for Data Languages

Year: 2023
Media group: LIPIcs
Cover von Descriptional Complexity of Formal Systems
25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4 - 6, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 13918
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 239, TYPES 2021, Complete Volume

LIPIcs, Volume 239, TYPES 2021, Complete Volume

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0