Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
An Analytic Propositional Proof System on Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
On sets of terms having a given intersection type
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Relating Functional and Imperative Session Types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Functional Abstraction of Typed Invocation Contexts
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Distributed Asynchronous Games With Causal Memory are Undecidable
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Minimality Notions via Factorization Systems and Examples
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
The Theory of Universal Graphs for Infinite Duration Games
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Linear Dependent Type Theory for Quantum Programming Languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Disjunctive bases: normal forms and model theory for modal logics
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Small Promise CSPs that reduce to large CSPs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Limits of real numbers in the binary signed digit representation
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Strongly-Normalizing Higher-Order Relational Queries
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Typability and Type Inference in Atomic Polymorphism
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
The Third Trick
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Instance reducibility and Weihrauch degrees
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text