Search Results - Information Technology Journal

Refine Results
  1. Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

    Get full text
    Online Article RSS Article
  2. Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

    Get full text
    Online Article RSS Article
  3. Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

    Get full text
    Online Article RSS Article
  4. A Finite-Model-Theoretic View on Propositional Proof Complexity

    Get full text
    Online Article RSS Article
  5. Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

    Get full text
    Online Article RSS Article
  6. Quotients, inductive types, and quotient inductive types

    Get full text
    Online Article RSS Article
  7. When Can We Answer Queries Using Result-Bounded Data Interfaces?

    Get full text
    Online Article RSS Article
  8. Specification and Verification of Timing Properties in Interoperable Medical Systems

    Get full text
    Online Article RSS Article
  9. CC-circuits and the expressive power of nilpotent algebras

    Get full text
    Online Article RSS Article
  10. Tractable Combinations of Temporal CSPs

    Get full text
    Online Article RSS Article
  11. Formalizing the Face Lattice of Polyhedra

    Get full text
    Online Article RSS Article
  12. Circular Proofs as Session-Typed Processes: A Local Validity Condition

    Get full text
    Online Article RSS Article
  13. Determinisability of register and timed automata

    Get full text
    Online Article RSS Article
  14. Enumerating Answers to First-Order Queries over Databases of Low Degree

    Get full text
    Online Article RSS Article
  15. A Near-Optimal Parallel Algorithm for Joining Binary Relations

    Get full text
    Online Article RSS Article
  16. Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms

    Get full text
    Online Article RSS Article
  17. Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

    Get full text
    Online Article RSS Article
  18. A Flexible Proof Format for SAT Solver-Elaborator Communication

    Get full text
    Online Article RSS Article
  19. Uniform Interpolants in EUF: Algorithms using DAG-representations

    Get full text
    Online Article RSS Article
  20. Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

    Get full text
    Online Article RSS Article