Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
The Sierpinski Object in the Scott Realizability Topos
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
On the Expressive Power of Higher-Order Pushdown Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Dual-Context Calculi for Modal Logic
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A limitation on the KPT interpolation
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Constructive Canonicity of Inductive Inequalities
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
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 & Information Science…”
Get full text
-
Interpolating Between Choices for the Approximate Intermediate Value Theorem
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Directed Homotopy in Non-Positively Curved Spaces
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rule Algebras for Adhesive Categories
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Playing with Repetitions in Data Words Using Energy Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Consistency of circuit lower bounds with bounded theories
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Completeness of the ZX-Calculus
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Trace Refinement in Labelled Markov Decision Processes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
On properties of $B$-terms
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cellular Cohomology in Homotopy Type Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text