Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
A calculus for costed computations
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Relational Parametricity for Computational Effects
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
How Many Public Computers in the Library?
Published in Information Technology and Libraries (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Instability, Computational Efficiency and Statistical Accuracy
Published in Journal of Machine Learning Research (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computable analysis and notions of continuity in Coq
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing the Width of Non-deterministic Automata
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Rice-Shapiro theorem in Computable Topology
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the system CL12 of computability logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Computational Complexity of Propositional Cirquent Calculus
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computational Complexity of Smooth Differential Equations
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computability of Probability Distributions and Characteristic Functions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
From formulas to cirquents in computability logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Graph Model for Imperative Computation
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computation Tree Logic with Deadlock Detection
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exhaustible sets in higher-type computation
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computably Based Locally Compact Spaces
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Information - Modern Theories
Published in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computational expressivity of (circular) proofs with fixed points
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text