Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Undecidability of a weak version of MSO+U
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Descriptive Complexity for Counting Complexity Classes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient and Modular Coalgebraic Partition Refinement
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Call-by-name Gradual Type Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probabilistic logics based on Riesz spaces
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Language Preservation Problems in Parametric Timed Automata
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Categorical Reconstruction of Quantum Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-idempotent types for classical calculi in natural deduction style
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modalities in homotopy type theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the logical complexity of cyclic arithmetic
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Concurrency and Probability: Removing Confusion, Compositionally
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relational $star$-Liftings for Differential Privacy
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical and Algebraic Characterizations of Rational Transductions
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Definable isomorphism problem
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Curry-Howard Approach to Church's Synthesis
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Flow Logic
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text