Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Universal Algebraic Methods for Constraint Satisfaction Problems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
No-Go Theorems for Distributive Laws
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Games Where You Can Play Optimally with Arena-Independent Finite Memory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Normalization for planar string diagrams and a quadratic equivalence algorithm
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rast: A Language for Resource-Aware Session Types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
$sigma$-locales in Formal Topology
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Conditional Bisimilarity for Reactive Systems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Integrity Constraints Revisited: From Exact to Approximate Implication
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Architectures in parametric component-based systems: Qualitative and quantitative modelling
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Higher-Order Probabilistic Subrecursion
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A coalgebraic take on regular and $omega$-regular behaviours
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Parametricity for Nested Types and GADTs
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stashing And Parallelization Pentagons
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Adaptive Non-linear Pattern Matching Automata
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text