Full Text Available
Access Full Text at Repository
Search Results - computer (sciience OR science)
-
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Model Checking Temporal Properties of Recursive Probabilistic Programs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Overlap Algebras as Almost Discrete Locales
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Trichotomy for Regular Trail Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
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