Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
The Complexity of Aggregates over Extractions by Regular Expressions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Continuous Positional Payoffs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Theory of Formal Choreographic Languages
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Spatial Logic for Simplicial Models
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Positive First-order Logic on Words and Graphs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Capturing the polynomial hierarchy by second-order revised Krom logic
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reduction Free Normalisation for a proof irrelevant type of propositions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Presburger arithmetic extended with non-unary counting quantifiers
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separating Sessions Smoothly
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A framework to measure the robustness of programs in the unpredictable environment
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing with Infinite Objects: the Gray Code Case
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Flexible Correct-by-Construction Programming
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fixpoint Theory -- Upside Down
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Adding Negation to Lambda Mu
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Enumerating Independent Linear Inferences
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lowerbounds for Bisimulation by Partition Refinement
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text