Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Improving legibility of natural deduction proofs is not trivial
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Separation by Locally Testable and Locally Threshold Testable Languages
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fourier spectra of measures associated with algorithmically random Brownian motion
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inferring Algebraic Effects
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Observationally-induced algebras in Domain Theory
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Corecursive Algebras, Corecursive Monads and Bloom Monads
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Random strings and tt-degrees of Turing complete C.E. sets
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Categorical Proof Theory of Co-Intuitionistic Linear Logic
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Analysis of Timed and Long-Run Objectives for Markov Automata
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
When is a container a comonad?
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ambiguity of {omega}-Languages of Turing Machines
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Refinement and Difference for Probabilistic Automata
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Concurrent Pattern Calculus
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deciding Conditional Termination
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Ramsey properties of classes with forbidden trees
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reductions to the set of random strings: The resource-bounded case
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Finite state verifiers with constant randomness
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