Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
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
Online Article RSS Article -
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
-
A Formal Model for Polarization under Confirmation Bias in Social Networks
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A case study on parametric verification of failure detectors
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text