Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
A Trichotomy for Regular Trail Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Simulation by Rounds of Letter-to-Letter Transducers
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Arena-Independent Finite-Memory Determinacy in Stochastic Games
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rewriting with Acyclic Queries: Mind Your Head
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing the Density of the Positivity Set for Linear Recurrence Sequences
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fine-Grained Complexity of Regular Path Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
FTMPST: Fault-Tolerant Multiparty Session Types
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A model of actors and grey failures
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Making first order linear logic a generating grammar
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A categorical characterization of relative entropy on standard Borel spaces
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Power-Set Construction for Tree Algebras
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Token Games and History-Deterministic Quantitative-Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A coherent differential PCF
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Locality and Centrality: The Variety ZG
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Impure Simplicial Complexes: Complete Axiomatization
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text