Full Text Available
Access Full Text at Repository
Search Results - "computer science"
-
The Power-Set Construction for Tree Algebras
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Token Games and History-Deterministic Quantitative-Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A coherent differential PCF
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Locality and Centrality: The Variety ZG
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Impure Simplicial Complexes: Complete Axiomatization
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Answer Counting under Guarded TGDs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Monoidal Width
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Arboreal Categories: An Axiomatic Theory of Resources
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A first-order logic characterization of safety and co-safety languages
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
The Complexity of Aggregates over Extractions by Regular Expressions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Continuous Positional Payoffs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Theory of Formal Choreographic Languages
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Spatial Logic for Simplicial Models
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Positive First-order Logic on Words and Graphs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Capturing the polynomial hierarchy by second-order revised Krom logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text