Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Disjunctive bases: normal forms and model theory for modal logics
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Small Promise CSPs that reduce to large CSPs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Limits of real numbers in the binary signed digit representation
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strongly-Normalizing Higher-Order Relational Queries
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Typability and Type Inference in Atomic Polymorphism
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Third Trick
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Instance reducibility and Weihrauch degrees
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
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 & Information Science…”
Get full text
-
Moss' logic for ordered coalgebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
One-Clock Priced Timed Games with Negative Weights
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Differentials and distances in probabilistic coherence spaces
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modules over monads and operational semantics (expanded version)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tameness and the power of programs over monoids in DA
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Minimization and Canonization of GFG Transition-Based Automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Point-free Construction of Real Exponentiation
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Comparator automata in quantitative verification
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Timed Automata Robustness Analysis via Model Checking
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Addressing Machines as models of lambda-calculus
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text