Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Moschovakis Extension of Represented Spaces
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A classical groupoid model for quantum networks
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proving Soundness of Extensional Normal-Form Bisimilarities
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Topological Scott Convergence Theorem
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Initial Semantics for Reduction Rules
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stone-Type Dualities for Separation Logics
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the First-Order Complexity of Induced Subgraph Isomorphism
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Capturing Polynomial Time using Modular Decomposition
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Web spaces and worldwide web spaces: topological aspects of domain theory
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
The principle of pointfree continuity
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Displayed Categories
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Shortest paths in one-counter systems
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Behavioural equivalences for timed systems
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sahlqvist via Translation
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebra, coalgebra, and minimization in polynomial differential equations
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text