Search Results

Refine Results
  1. Cover Image

    On Sessions and Infinite Data

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

    A Reduced Semantics for Deciding Trace Equivalence

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

    Feasible Interpolation for QBF Resolution Calculi

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

    A Recipe for State-and-Effect Triangles

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

    Inter-procedural Two-Variable Herbrand Equalities

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

    Certifying Confluence Proofs via Relative Termination and Rule Labeling

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

    Hopf and Lie algebras in semi-additive Varieties

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

    Subcomputable Schnorr Randomness

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

    Encoding Monomorphic and Polymorphic Types

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

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi

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

    Automata for Specifying and Orchestrating Service Contracts

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

    Honesty by Typing

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

    On the locality of arb-invariant first-order formulas with modulo counting quantifiers

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

    On linear rewriting systems for Boolean logic and some applications to proof theory

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

    Coalgebraic trace semantics via forgetful logics

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

    On the Mints Hierarchy in First-Order Intuitionistic Logic

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

    Build your own clarithmetic I: Setup and completeness

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

    Discovering, quantifying, and displaying attacks

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

    Borel-piecewise continuous reducibility for uniformization problems

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

    Some theorems on passing from local to global presence of properties of functions

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

Search Tools: