Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
Inferring Symbolic Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
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
-
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
LNL polycategories and doctrines of linear logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A strong call-by-need calculus
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Optimal controller synthesis for timed systems
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
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 & IT…”
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 & IT…”
Get full text
-
A case study on parametric verification of failure detectors
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Good-for-games $omega$-Pushdown Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A modular construction of type theories
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Countdown games, and simulation on (succinct) one-counter nets
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
Learning of Structurally Unambiguous Probabilistic Grammars
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text
-
A proof system for graph (non)-isomorphism verification
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & IT…”
Get full text