Search Results - "Computer"

Refine Results
  1. Cover Image

    Constant-delay enumeration for SLP-compressed documents

    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

    The Formal Theory of Monads, Univalently

    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

    Categorifying computable reducibilities

    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

    Bisimilarity in fresh-register automata

    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

    Algebraic Presentations of Type Dependency

    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

    Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

    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

    Random Deterministic Automata With One Added Transition

    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

    Multi-Structural Games and Number of Quantifiers

    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

    Diversity of Answers to Conjunctive 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:
  10. Cover Image

    Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

    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

    Quantitative Equality in Substructural Logic via Lipschitz Doctrines

    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

    Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

    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

    Complete and tractable machine-independent characterizations of second-order polytime

    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

    Regular Model Checking Upside-Down: An Invariant-Based Approach

    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

    Checkpoint-based rollback recovery in session programming

    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

    HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder

    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

    Integration in Cones

    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

    Multi-Structural Games and Beyond

    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

    Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

    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

    Unifying cubical and multimodal 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:

Search Tools: