Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Duality for powerset coalgebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Canonicity and homotopy canonicity for cubical type theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Residuality and Learning for Nondeterministic Nominal Automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Optimizing tree decompositions in MSO
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verifying liquidity of recursive Bitcoin contracts
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular matching problems for infinite trees
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quotients of Bounded Natural Functors
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weight Annotation in Information Extraction
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantifying over Boolean announcements
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Nielsen-Schreier Theorem in Homotopy Type Theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded Reachability Problems are Decidable in FIFO Machines
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
An extensible equality checking algorithm for dependent type theories
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Axiomatisability of Parallel Composition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A duality theoretic view on limits of finite structures: Extended version
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Universal Algebraic Methods for Constraint Satisfaction Problems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
No-Go Theorems for Distributive Laws
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Games Where You Can Play Optimally with Arena-Independent Finite Memory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Normalization for planar string diagrams and a quadratic equivalence algorithm
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text