Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Reduction Free Normalisation for a proof irrelevant type of propositions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
On Presburger arithmetic extended with non-unary counting quantifiers
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Separating Sessions Smoothly
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A framework to measure the robustness of programs in the unpredictable environment
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Computing with Infinite Objects: the Gray Code Case
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Flexible Correct-by-Construction Programming
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Fixpoint Theory -- Upside Down
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Adding Negation to Lambda Mu
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Enumerating Independent Linear Inferences
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Lowerbounds for Bisimulation by Partition Refinement
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
SAT-Inspired Higher-Order Eliminations
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
On Small Types in Univalent Foundations
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Stateful Realizers for Nonstandard Analysis
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Inferring Symbolic Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Causal Unfoldings and Disjunctive Causes
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Smart Choices and the Selection Monad
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text