Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Rast: A Language for Resource-Aware Session Types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Expressive Logics for Coinductive Predicates
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient Full Higher-Order Unification
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A new operational representation of dependencies in Event Structures
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Probabilistic Higher-order Fixpoint Logic
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text