Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
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
Online Article RSS Article -
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
-
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Rule Algebras for Adhesive Categories
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Playing with Repetitions in Data Words Using Energy Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Consistency of circuit lower bounds with bounded theories
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Completeness of the ZX-Calculus
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Trace Refinement in Labelled Markov Decision Processes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On properties of $B$-terms
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Cellular Cohomology in Homotopy Type Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Register Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Tight Polynomial Worst-Case Bounds for Loop Programs
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On the incomputability of computable dimension
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Representing Dependencies in Event Structures
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Reachability for infinite time Turing machines with long tapes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text