Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Differentials and distances in probabilistic coherence spaces
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Modules over monads and operational semantics (expanded version)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Tameness and the power of programs over monoids in DA
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Minimization and Canonization of GFG Transition-Based Automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Point-free Construction of Real Exponentiation
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Comparator automata in quantitative verification
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Timed Automata Robustness Analysis via Model Checking
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A First-Order Complete Temporal Logic for Structured Context-Free Languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Addressing Machines as models of lambda-calculus
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Computability of Data-Word Transductions over Different Data Domains
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Modularising Verification Of Durable Opacity
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Fusible numbers and Peano Arithmetic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Coalgebraic Approach to Dualities for Neighborhood Frames
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Uniform Envelopes
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Modal meet-implication logic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Synthesis of Computable Regular Functions of Infinite Words
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
The Shapley Value of Inconsistency Measures for Functional Dependencies
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text