Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Model Checking Probabilistic Pushdown Automata
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Theories for TC0 and Other Small Complexity Classes
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modularizing the Elimination of r=0 in Kleene Algebra
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probabilistic Algorithmic Knowledge
Published in Logical Methods in Computer Science (2005)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
-
Almost periodic functions, constructively
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Internalising modified realisability in constructive type theory
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strong normalisation for applied lambda calculi
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Comparing hierarchies of total functionals
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
General Recursion via Coinductive Types
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
The succinctness of first-order logic on linear orders
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear Datalog and Bounded Path Duality of Relational Structures
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Contextual equivalence for higher-order pi-calculus revisited
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model-Checking Problems as a Basis for Parameterized Intractability
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Labelled transition systems as a Stone space
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Facebook’s data enclave and the woes of researching social media recommendation algorithms: A reflection on methods
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Students' perception of a leaderboard-based mathematics game
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text