Search Results - "Computer"

Refine Results
  1. Cover Image

    Encoding many-valued logic in $lambda$-calculus

    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

    Discovering ePassport Vulnerabilities using 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:
  3. Cover Image

    Algebraic cocompleteness and finitary functors

    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

    Predicative theories of continuous lattices

    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

    A realizability semantics for inductive formal topologies, Church's Thesis and 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:
  6. Cover Image

    Star Games and Hydras

    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

    Interface Modeling for Quality and Resource Management

    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

    Theories of real addition with and without a predicate for integers

    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

    Presentable signatures and initial semantics

    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

    Computable analysis and notions of continuity in Coq

    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

    Partially Ordered Automata and Piecewise Testability

    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

    Decidability for Entailments of Symbolic Heaps with Arrays

    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

    Parametric updates in parametric timed 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:
  14. Cover Image

    DRAT and Propagation Redundancy Proofs Without New Variables

    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

    Failure Trace Semantics for a Process Algebra with Time-outs

    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

    LNL-FPC: The Linear/Non-linear Fixpoint Calculus

    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

    Constructing Higher Inductive Types as Groupoid Quotients

    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

    Reachability Switching Games

    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

    Logic for exact real 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:
  20. Cover Image

    Algebraic Language Theory for Eilenberg--Moore Algebras

    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: