Full Text Available
Access Full Text at Repository
Search Results - "computer science"
-
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Coalgebras for Bisimulation of Weighted Automata over Semirings
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Deconfined Global Types for Asynchronous Sessions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Stream processors and comodels
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Multiparty testing preorders
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Converse extensionality and apartness
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A theory of Automated Market Makers in DeFi
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Linear equations for unordered data vectors in $[D]^kto{}Z^d$
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Coalgebraic Geometric Logic: Basic Theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Algebraic coherent confluence and higher globular Kleene algebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Convexity via Weak Distributive Laws
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Geometric Model Checking of Continuous Space
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Uniform Reliability of Self-Join-Free Conjunctive Queries
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Building Specifications in the Event-B Institution
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
An Analytic Propositional Proof System on Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
On sets of terms having a given intersection type
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text