search result

Cover von Cyberspace
first steps
Search for this author
Year: 1992
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von LIPIcs, Volume 68, ICDT'17, Complete Volume

LIPIcs, Volume 68, ICDT'17, Complete Volume

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization, List of Authors

Front Matter, Table of Contents, Preface, Conference Organization, List of Authors

Year: 2017
Media group: LIPIcs
Cover von 20th International Conference on Database Theory
ICDT 2017, March 21 - 24, 2017, Venice, Italy
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 68
Media group: LIPIcs
Cover von Characterizing Definability in Decidable Fixpoint Logics

Characterizing Definability in Decidable Fixpoint Logics

Year: 2017
Media group: LIPIcs
Cover von The Complexity of Presburger Arithmetic with Power or Powers

The Complexity of Presburger Arithmetic with Power or Powers

Year: 2023
Media group: LIPIcs
Cover von Two Variable Logic with Ultimately Periodic Counting

Two Variable Logic with Ultimately Periodic Counting

Year: 2020
Media group: LIPIcs
Cover von 53rd International Colloquium on Automata, Languages, and Programming
ICALP 2026, Royal Holloway, University of London, Egham, United Kingdom, July 7-10, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 374
Media group: LIPIcs
Cover von Decidability of Graph Neural Networks via Logical Characterizations

Decidability of Graph Neural Networks via Logical Characterizations

Year: 2024
Media group: LIPIcs
Cover von Logic and Learning; 9
pp. 1-22
Search for this author
Year: 2020
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0