Full Text Available
Access Full Text at Repository
Search Results - computer (sciience OR science)
-
Flexible Correct-by-Construction Programming
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Fixpoint Theory -- Upside Down
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Adding Negation to Lambda Mu
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Enumerating Independent Linear Inferences
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lowerbounds for Bisimulation by Partition Refinement
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
SAT-Inspired Higher-Order Eliminations
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Small Types in Univalent Foundations
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stateful Realizers for Nonstandard Analysis
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Inferring Symbolic Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Causal Unfoldings and Disjunctive Causes
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Smart Choices and the Selection Monad
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
LNL polycategories and doctrines of linear logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A strong call-by-need calculus
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Optimal controller synthesis for timed systems
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text