Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
Synchronizability of Communicating Finite State Machines is not Decidable
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Relational Models for the Lambek Calculus with Intersection and Constants
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Space-Fluid Adaptive Sampling by Self-Organisation
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Prioritise the Best Variation
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
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