Full Text Available
Access Full Text at Repository
Search Results - "Science"
-
Modularising Verification Of Durable Opacity
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Fusible numbers and Peano Arithmetic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Coalgebraic Approach to Dualities for Neighborhood Frames
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Uniform Envelopes
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modal meet-implication logic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Synthesis of Computable Regular Functions of Infinite Words
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Shapley Value of Inconsistency Measures for Functional Dependencies
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Finite-Model-Theoretic View on Propositional Proof Complexity
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quotients, inductive types, and quotient inductive types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Specification and Verification of Timing Properties in Interoperable Medical Systems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
CC-circuits and the expressive power of nilpotent algebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tractable Combinations of Temporal CSPs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text