Search Results - Information Technology Journal

Refine Results
  1. Cost Preserving Bisimulations for Probabilistic Automata

    Get full text
    Online Article RSS Article
  2. Algorithmic randomness for Doob's martingale convergence theorem in continuous time

    Get full text
    Online Article RSS Article
  3. On the Relation of Interaction Semantics to Continuations and Defunctionalization

    Get full text
    Online Article RSS Article
  4. An Effect System for Algebraic Effects and Handlers

    Get full text
    Online Article RSS Article
  5. Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus

    Get full text
    Online Article RSS Article
  6. Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time

    Get full text
    Online Article RSS Article
  7. Stochastic Timed Automata

    Get full text
    Online Article RSS Article
  8. Decidability Problems for Actor Systems

    Get full text
    Online Article RSS Article
  9. The Power of Priority Channel Systems

    Get full text
    Online Article RSS Article
  10. On the strictness of the quantifier structure hierarchy in first-order logic

    Get full text
    Online Article RSS Article
  11. Connection Matrices and the Definability of Graph Parameters

    Get full text
    Online Article RSS Article
  12. Full abstraction for fair testing in CCS (expanded version)

    Get full text
    Online Article RSS Article
  13. Constructing categories and setoids of setoids in type theory

    Get full text
    Online Article RSS Article
  14. Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

    Get full text
    Online Article RSS Article
  15. Improving legibility of natural deduction proofs is not trivial

    Get full text
    Online Article RSS Article
  16. On Separation by Locally Testable and Locally Threshold Testable Languages

    Get full text
    Online Article RSS Article
  17. Fourier spectra of measures associated with algorithmically random Brownian motion

    Get full text
    Online Article RSS Article
  18. Inferring Algebraic Effects

    Get full text
    Online Article RSS Article
  19. Observationally-induced algebras in Domain Theory

    Get full text
    Online Article RSS Article
  20. Corecursive Algebras, Corecursive Monads and Bloom Monads

    Get full text
    Online Article RSS Article