Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Monoidal Width
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Arboreal Categories: An Axiomatic Theory of Resources
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A first-order logic characterization of safety and co-safety languages
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
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
-
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