Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Signatures and Induction Principles for Higher Inductive-Inductive Types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Minimization of visibly pushdown automata is NP-complete
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
An operational interpretation of coinductive types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
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
-
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
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