Search Results

Refine Results
  1. Directed Homotopy in Non-Positively Curved Spaces

    Get full text
    Online Article RSS Article
  2. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

    Get full text
    Online Article RSS Article
  3. Rule Algebras for Adhesive Categories

    Get full text
    Online Article RSS Article
  4. Playing with Repetitions in Data Words Using Energy Games

    Get full text
    Online Article RSS Article
  5. Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality

    Get full text
    Online Article RSS Article
  6. Forward Analysis for WSTS, Part III: Karp-Miller Trees

    Get full text
    Online Article RSS Article
  7. Consistency of circuit lower bounds with bounded theories

    Get full text
    Online Article RSS Article
  8. Completeness of the ZX-Calculus

    Get full text
    Online Article RSS Article
  9. Trace Refinement in Labelled Markov Decision Processes

    Get full text
    Online Article RSS Article
  10. Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

    Get full text
    Online Article RSS Article
  11. On properties of $B$-terms

    Get full text
    Online Article RSS Article
  12. Cellular Cohomology in Homotopy Type Theory

    Get full text
    Online Article RSS Article
  13. Register Games

    Get full text
    Online Article RSS Article
  14. Tight Polynomial Worst-Case Bounds for Loop Programs

    Get full text
    Online Article RSS Article
  15. On the incomputability of computable dimension

    Get full text
    Online Article RSS Article
  16. Representing Dependencies in Event Structures

    Get full text
    Online Article RSS Article
  17. Reachability for infinite time Turing machines with long tapes

    Get full text
    Online Article RSS Article
  18. An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

    Get full text
    Online Article RSS Article
  19. Automata Minimization: a Functorial Approach

    Get full text
    Online Article RSS Article
  20. A new coinductive confluence proof for infinitary lambda calculus

    Get full text
    Online Article RSS Article