Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Prioritise the Best Variation
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
The syntactic side of autonomous categories enriched over generalised metric spaces
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Dynamic Cantor Derivative Logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Model Checking Temporal Properties of Recursive Probabilistic Programs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
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 & IT…”
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 & IT…”
Get full text
-
Overlap Algebras as Almost Discrete Locales
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Trichotomy for Regular Trail Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Simulation by Rounds of Letter-to-Letter Transducers
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Arena-Independent Finite-Memory Determinacy in Stochastic Games
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Rewriting with Acyclic Queries: Mind Your Head
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Fine-Grained Complexity of Regular Path Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
FTMPST: Fault-Tolerant Multiparty Session Types
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A model of actors and grey failures
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Making first order linear logic a generating grammar
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A categorical characterization of relative entropy on standard Borel spaces
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text