Full Text Available
Access Full Text at Repository
Search Results - computer (sciience OR science)
-
Feedback computability on Cantor space
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Computability in Basic Quantum Mechanics
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weihrauch-completeness for layerwise computability
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
On-the-Fly Computation of Bisimilarity Distances
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sub-computable Boundedness Randomness
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compact manifolds with computable boundaries
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computably regular topological spaces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
On computable approximations of Landau's constant
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A calculus for costed computations
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relational Parametricity for Computational Effects
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
-
Intrinsic and Extrinsic Factors as Predictors of Self Efficacy and Achievement in Programming Among Computer Science Undergraduates in South-Western Nigeria
Published 2014Subjects: “…Computer science undergraduates…”
ThesisFull Text AvailableAccess Repository -
The software space of science
Published in ArXiv cs.DL Recent Papers (2026)Subjects: “…Computer Science & IT…”
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