search result

Cover von Higher-Order Timed Automata and Tail Recursion

Higher-Order Timed Automata and Tail Recursion

Year: 2025
Media group: LIPIcs
Cover von Real-Time Higher-Order Recursion Schemes

Real-Time Higher-Order Recursion Schemes

Year: 2024
Media group: LIPIcs
Cover von Model Checking Timed Recursive CTL

Model Checking Timed Recursive CTL

Year: 2021
Media group: LIPIcs
Cover von A Decidable Non-Regular Modal Fixpoint Logic

A Decidable Non-Regular Modal Fixpoint Logic

Year: 2021
Media group: LIPIcs
Cover von Temporal Logic with Recursion

Temporal Logic with Recursion

Year: 2020
Media group: LIPIcs
Cover von The Calculus of Temporal Influence

The Calculus of Temporal Influence

Year: 2023
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 278, TIME 2023, Complete Volume

LIPIcs, Volume 278, TIME 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 30th International Symposium on Temporal Representation and Reasoning
TIME 2023 : September 25 - 26, 2023, NCSR Demokritos, Athens, Greece
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 278
Media group: LIPIcs
Cover von The Tail-Recursive Fragment of Timed Recursive CTL

The Tail-Recursive Fragment of Timed Recursive CTL

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0