Search Results - Information Technology Journal

Refine Results
  1. Cover Image

    Sequential decision problems, dependent types and generic solutions

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

    Complexity of Conditional Term Rewriting

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

    A feasible interpolation for random resolution

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

    Unprovability of circuit upper bounds in Cook's theory PV

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

    Stream Differential Equations: Specification Formats and Solution Methods

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

    Mixed powerdomains for probability and nondeterminism

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

    Logical compactness and constraint satisfaction problems

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

    Reasoning about Data Repetitions with Counter Systems

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

    No solvable lambda-value term left behind

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

    The Largest Respectful Function

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

    Using higher-order contracts to model session types

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

    Weighted Pushdown Systems with Indexed Weight Domains

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

    Two-variable Logic with Counting and a Linear Order

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

    Formalized linear algebra over Elementary Divisor Rings in Coq

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

    Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

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

    Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

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

    On the characterization of models of H*: The semantical aspect

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

    FO2(

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

    Non-Obfuscated Unprovable Programs & Many Resultant Subtleties

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

    Generic algorithms for halting problem and optimal machines revisited

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

Search Tools: