Search Results - Information Technology Journal

Refine Results
  1. Cover Image

    Adventures in time and space

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

    On the decidability and complexity of Metric Temporal Logic over finite words

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

    Real-Time Model-Checking: Parameters everywhere

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

    Predicate Abstraction with Under-approximation Refinement

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

    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning

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

    Logic Meets Algebra: the Case of Regular Languages

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

    Expressiveness of Metric modalities for continuous time

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

    Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

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

    Cores of Countably Categorical Structures

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

    Linear Encodings of Bounded LTL Model Checking

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

    Elgot Algebras

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

    The Completeness of Propositional Resolution: A Simple and Constructive Proof

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

    Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages

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

    Linear Abadi and Plotkin Logic

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

    Positional Determinacy of Games with Infinitely Many Priorities

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

    Combining decision procedures for the reals

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

    Solution of a Problem of Barendregt on Sensible lambda-Theories

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

    From Proof Nets to the Free *-Autonomous Category

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

    Generalized Majority-Minority Operations are Tractable

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

    Tarski's influence on computer science

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

Search Tools: