Search Results - Information Technology Journal

Refine Results
  1. Cover Image

    Relational Parametricity and Separation Logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    On the Expressiveness and Complexity of ATL

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    A Distribution Law for CCS and a New Congruence Result for the pi-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Semi-continuous Sized Types and Termination

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Normalization of IZF with Replacement

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Normalisation Control in Deep Inference via Atomic Flows

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Algebraic Pattern Matching in Join Calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Independence and concurrent separation logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Generative Unbinding of Names

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Call-by-value Termination in the Untyped lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Lambda-RBAC: Programming with Role-Based Access Control

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Are there Hilbert-style Pure Type Systems?

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    A proof of strong normalisation using domain theory

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Generic Trace Semantics via Coinduction

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    The Church Synthesis Problem with Parameters

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Coinductive Proof Principles for Stochastic Processes

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: