Search Results - "Computer"

Refine Results
  1. Cover Image

    Controlling a random population

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    A theory of transaction parallelism in blockchains

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Dynamic Complexity of Parity Exists Queries

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Dagger linear logic for categorical quantum mechanics

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Tight Polynomial Bounds for Loop Programs in Polynomial Space

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Internal Parametricity for Cubical Type Theory

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Modal Functional (Dialectica) Interpretation

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Causal Consistency for Reversible Multiparty Protocols

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Foundations of regular coinduction

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    W-types in setoids

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Modular Path Queries with Arithmetic

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Modular coinduction up-to for higher-order languages via first-order transition systems

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Separation for dot-depth two

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Cartesian Difference Categories

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    The Shapley Value of Tuples in Query Answering

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    A program for the full axiom of choice

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: