Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Rewriting techniques for relative coherence
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A Monoidal View on Fixpoint Checks
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Curry-Howard Correspondence for Linear, Reversible Computation
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automata Linear Dynamic Logic on Finite Traces
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Behavioral Theory for Distributed Systems with Weak Recovery
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Hydra Battles and AC Termination
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithms for Markov Binomial Chains
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
On first-order transductions of classes of graphs
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fractals from Regular Behaviours
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Conjunctive Queries with Free Access Patterns under Updates
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Indivisibility and uniform computational strength
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Identity Problem in the special affine group of $mathbb{Z}^2$
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stochastic Window Mean-Payoff Games
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Discounted-Sum Automata with Multiple Discount Factors
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Completions of Kleene's second model
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text