Search Results - "Computer and Information Science"

Refine Results
  1. Cover Image

    Parametric updates in parametric timed automata

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

    DRAT and Propagation Redundancy Proofs Without New Variables

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

    Failure Trace Semantics for a Process Algebra with Time-outs

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

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

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

    Constructing Higher Inductive Types as Groupoid Quotients

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

    Reachability Switching Games

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

    Logic for exact real arithmetic

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

    Algebraic Language Theory for Eilenberg--Moore Algebras

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

    Sculptures in Concurrency

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

    Direct spectra of Bishop spaces and their limits

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

    Semipullbacks of labelled Markov processes

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

    Coalgebraic Semantics for Probabilistic Logic Programming

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

    Superposition for Lambda-Free Higher-Order Logic

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

    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Synthesis of Data Word Transducers

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

    Stubborn Set Reduction for Two-Player Reachability Games

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

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

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

    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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

    Constructive Domains with Classical Witnesses

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

    Datatype defining rewrite systems for naturals and integers

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

Search Tools: