Full Text Available
Access Full Text at Repository
Search Results - "computer science"
-
Verification of Flat FIFO Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Field-based Coordination with the Share Operator
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
A symmetric protocol to establish service level agreements
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On Resolving Non-determinism in Choreographies
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
A unifying framework for continuity and complexity in higher types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Gems of Corrado Böhm
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Compiling With Classical Connectives
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
The Sierpinski Object in the Scott Realizability Topos
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On the Expressive Power of Higher-Order Pushdown Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Dual-Context Calculi for Modal Logic
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
A limitation on the KPT interpolation
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Constructive Canonicity of Inductive Inequalities
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Fixed point combinators as fixed points of higher-order fixed point generators
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Revisiting Call-by-value Böhm trees in light of their Taylor expansion
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Interpolating Between Choices for the Approximate Intermediate Value Theorem
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Directed Homotopy in Non-Positively Curved Spaces
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text