search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2024
Media group: LIPIcs
Cover von LIPIcs, Volume 288, CSL 2024, Complete Volume

LIPIcs, Volume 288, CSL 2024, Complete Volume

Year: 2024
Media group: LIPIcs
Cover von 32nd EACSL Annual Conference on Computer Science Logic
CSL 2024, February 19 - 23, 2024, Naples, Italy
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 288
Media group: LIPIcs
Cover von Multi-Agent Systems
20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14282
Media group: MONOGRAPHIE
Cover von Results on Alternating-Time Temporal Logics with Linear Past

Results on Alternating-Time Temporal Logics with Linear Past

Year: 2018
Media group: LIPIcs
Cover von Quantifying Bounds in Strategy Logic

Quantifying Bounds in Strategy Logic

Year: 2018
Media group: LIPIcs
Cover von Hierarchical Cost-Parity Games

Hierarchical Cost-Parity Games

Year: 2017
Media group: LIPIcs
Cover von Reasoning About Strategies

Reasoning About Strategies

Year: 2010
Media group: ARTICLE
Cover von Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0