Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Transpension: The Right Adjoint to the Pi-type
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
An implicit function theorem for the stream calculus
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Metric Temporal Logic for Continuous Stochastic Processes
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear-time logics -- a coalgebraic perspective
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Branch-Well-Structured Transition Systems and Extensions
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Addition and Differentiation of ZX-diagrams
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Pebble-Relation Comonad in Finite Model Theory
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Tools for Completeness of Kleene Algebra with Hypotheses
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Encodability Criteria for Quantum Based Systems
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Strong Bisimulation for a Classical Term Calculus
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inapproximability of Unique Games in Fixed-Point Logic with Counting
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Boolean proportions
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text