Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Modular Path Queries with Arithmetic
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modular coinduction up-to for higher-order languages via first-order transition systems
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separation for dot-depth two
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cartesian Difference Categories
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Shapley Value of Tuples in Query Answering
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A program for the full axiom of choice
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Equivalence checking for weak bi-Kleene algebra
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ambiguity Hierarchy of Regular Infinite Tree Languages
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Complete Axiomatisation for Quantifier-Free Separation Logic
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decision problems for linear recurrences involving arbitrary real numbers
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating Apartness and Bisimulation
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multimodal Dependent Type Theory
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
On p/q-recognisable sets
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Distribution Bisimilarity via the Power of Convex Algebras
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Foundations of Online Structure Theory II: The Operator Approach
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text