Search Results - Information Technology Journal

Refine Results
  1. Markov Decision Processes with Multiple Long-run Average Objectives

    Get full text
    Online Article RSS Article
  2. Parameterized Synthesis

    Get full text
    Online Article RSS Article
  3. The Size-Change Termination Principle for Constructor Based Languages

    Get full text
    Online Article RSS Article
  4. Exact and Approximate Determinization of Discounted-Sum Automata

    Get full text
    Online Article RSS Article
  5. The First-Order Theory of Ground Tree Rewrite Graphs

    Get full text
    Online Article RSS Article
  6. Separation Property for wB- and wS-regular Languages

    Get full text
    Online Article RSS Article
  7. Knowledge Spaces and the Completeness of Learning Strategies

    Get full text
    Online Article RSS Article
  8. Computational Complexity of Smooth Differential Equations

    Get full text
    Online Article RSS Article
  9. Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

    Get full text
    Online Article RSS Article
  10. Linear Temporal Logic for Regular Cost Functions

    Get full text
    Online Article RSS Article
  11. Monadic second-order definable graph orderings

    Get full text
    Online Article RSS Article
  12. About the range property for H

    Get full text
    Online Article RSS Article
  13. The role of logical interpretations in program development

    Get full text
    Online Article RSS Article
  14. Undecidable First-Order Theories of Affine Geometries

    Get full text
    Online Article RSS Article
  15. Strong Turing Degrees for Additive BSS RAM's

    Get full text
    Online Article RSS Article
  16. Herbrand-Confluence

    Get full text
    Online Article RSS Article
  17. Handling Algebraic Effects

    Get full text
    Online Article RSS Article
  18. Modeling and Verification of Infinite Systems with Resources

    Get full text
    Online Article RSS Article
  19. Ordered Models of the Lambda Calculus

    Get full text
    Online Article RSS Article
  20. Nominal Coalgebraic Data Types with Applications to Lambda Calculus

    Get full text
    Online Article RSS Article