Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Moss' logic for ordered coalgebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
One-Clock Priced Timed Games with Negative Weights
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Differentials and distances in probabilistic coherence spaces
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
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