Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
On the Satisfiability of Local First-Order Logics with Data
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Robust non-computability of dynamical systems and computability of robust dynamical systems
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
$text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Transpension: The Right Adjoint to the Pi-type
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
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