Search Results - Information Technology Journal

Refine Results
  1. A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

    Get full text
    Online Article RSS Article
  2. Affine Sessions

    Get full text
    Online Article RSS Article
  3. Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

    Get full text
    Online Article RSS Article
  4. Reasoning with Finite Sets and Cardinality Constraints in SMT

    Get full text
    Online Article RSS Article
  5. Intuitionistic Layered Graph Logic: Semantics and Proof Theory

    Get full text
    Online Article RSS Article
  6. Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

    Get full text
    Online Article RSS Article
  7. The Complexity of All-switches Strategy Improvement

    Get full text
    Online Article RSS Article
  8. Extension by Conservation. Sikorski's Theorem

    Get full text
    Online Article RSS Article
  9. Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

    Get full text
    Online Article RSS Article
  10. Codensity Lifting of Monads and its Dual

    Get full text
    Online Article RSS Article
  11. The Complexity of Bisimulation and Simulation on Finite Systems

    Get full text
    Online Article RSS Article
  12. On the algebraic structure of Weihrauch degrees

    Get full text
    Online Article RSS Article
  13. Local Redundancy in SAT: Generalizations of Blocked Clauses

    Get full text
    Online Article RSS Article
  14. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

    Get full text
    Online Article RSS Article
  15. Applicable Mathematics in a Minimal Computational Theory of Sets

    Get full text
    Online Article RSS Article
  16. Event Structures for Petri nets with Persistence

    Get full text
    Online Article RSS Article
  17. Equational Reasonings in Wireless Network Gossip Protocols

    Get full text
    Online Article RSS Article
  18. On Interpolation and Symbol Elimination in Theory Extensions

    Get full text
    Online Article RSS Article
  19. Proper Functors and Fixed Points for Finite Behaviour

    Get full text
    Online Article RSS Article
  20. Defining Recursive Predicates in Graph Orders

    Get full text
    Online Article RSS Article