Search Results - Information Technology Journal

Refine Results
  1. A categorical characterization of relative entropy on standard Borel spaces

    Get full text
    Online Article RSS Article
  2. The Power-Set Construction for Tree Algebras

    Get full text
    Online Article RSS Article
  3. Token Games and History-Deterministic Quantitative-Automata

    Get full text
    Online Article RSS Article
  4. A coherent differential PCF

    Get full text
    Online Article RSS Article
  5. Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

    Get full text
    Online Article RSS Article
  6. Locality and Centrality: The Variety ZG

    Get full text
    Online Article RSS Article
  7. Impure Simplicial Complexes: Complete Axiomatization

    Get full text
    Online Article RSS Article
  8. Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

    Get full text
    Online Article RSS Article
  9. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

    Get full text
    Online Article RSS Article
  10. Answer Counting under Guarded TGDs

    Get full text
    Online Article RSS Article
  11. Monoidal Width

    Get full text
    Online Article RSS Article
  12. Arboreal Categories: An Axiomatic Theory of Resources

    Get full text
    Online Article RSS Article
  13. A first-order logic characterization of safety and co-safety languages

    Get full text
    Online Article RSS Article
  14. The Complexity of Aggregates over Extractions by Regular Expressions

    Get full text
    Online Article RSS Article
  15. Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries

    Get full text
    Online Article RSS Article
  16. Continuous Positional Payoffs

    Get full text
    Online Article RSS Article
  17. A Theory of Formal Choreographic Languages

    Get full text
    Online Article RSS Article
  18. A Spatial Logic for Simplicial Models

    Get full text
    Online Article RSS Article
  19. Positive First-order Logic on Words and Graphs

    Get full text
    Online Article RSS Article
  20. Capturing the polynomial hierarchy by second-order revised Krom logic

    Get full text
    Online Article RSS Article