Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Algebraic coherent confluence and higher globular Kleene algebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Convexity via Weak Distributive Laws
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Geometric Model Checking of Continuous Space
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Uniform Reliability of Self-Join-Free Conjunctive Queries
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Building Specifications in the Event-B Institution
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Analytic Propositional Proof System on Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On sets of terms having a given intersection type
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating Functional and Imperative Session Types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Functional Abstraction of Typed Invocation Contexts
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Distributed Asynchronous Games With Causal Memory are Undecidable
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Minimality Notions via Factorization Systems and Examples
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Theory of Universal Graphs for Infinite Duration Games
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear Dependent Type Theory for Quantum Programming Languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text