Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
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
Online Article RSS Article -
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
-
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
-
A Fragment of Dependence Logic Capturing Polynomial Time
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automata theory in nominal sets
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidability Results for the Boundedness Problem
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text