Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
Strong negation in the theory of computable functionals TCF
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Computing with Infinite Objects: the Gray Code Case
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Synthesis of Computable Regular Functions of Infinite Words
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Characterization theorem for the conditionally computable real functions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type-based Self-stabilisation for Computational Fields
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Effective zero-dimensionality for computable metric spaces
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Global semantic typing for inductive and coinductive computing
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Representations of measurable sets in computable measure theory
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Infinite Computations In Models of Set Theory
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Security Policies as Membranes in Systems for Global Computing
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Physics-informed Kernel Learning
Published in Journal of Machine Learning Research (2026)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
-
On the Compositionality of Quantitative Information Flow
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Curry-Howard Correspondence for Linear, Reversible Computation
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing the Density of the Positivity Set for Linear Recurrence Sequences
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Applicable Mathematics in a Minimal Computational Theory of Sets
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Closed Sets and Operators thereon: Representations, Computability and Complexity
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text