Search Results - Information Technology Journal

Refine Results
  1. Compact manifolds with computable boundaries

    Get full text
    Online Article RSS Article
  2. Epistemic Updates on Algebras

    Get full text
    Online Article RSS Article
  3. Expansions of MSO by cardinality relations

    Get full text
    Online Article RSS Article
  4. Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

    Get full text
    Online Article RSS Article
  5. Approximation systems for functions in topological and in metric spaces

    Get full text
    Online Article RSS Article
  6. Avoiding Shared Clocks in Networks of Timed Automata

    Get full text
    Online Article RSS Article
  7. Products of effective topological spaces and a uniformly computable Tychonoff Theorem

    Get full text
    Online Article RSS Article
  8. Definability of linear equation systems over groups and rings

    Get full text
    Online Article RSS Article
  9. Priced Timed Petri Nets

    Get full text
    Online Article RSS Article
  10. All Linear-Time Congruences for Familiar Operators

    Get full text
    Online Article RSS Article
  11. Polynomial Path Orders

    Get full text
    Online Article RSS Article
  12. Relation lifting, with an application to the many-valued cover modality

    Get full text
    Online Article RSS Article
  13. Satisfiability Games for Branching-Time Logics

    Get full text
    Online Article RSS Article
  14. Incarnation in Ludics and maximal cliques of paths

    Get full text
    Online Article RSS Article
  15. Implicit Resolution

    Get full text
    Online Article RSS Article
  16. Step-Indexed Relational Reasoning for Countable Nondeterminism

    Get full text
    Online Article RSS Article
  17. Non-idempotent intersection types and strong normalisation

    Get full text
    Online Article RSS Article
  18. Lower Bounds for Existential Pebble Games and k-Consistency Tests

    Get full text
    Online Article RSS Article
  19. Alternating Turing machines for inductive languages

    Get full text
    Online Article RSS Article
  20. Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems

    Get full text
    Online Article RSS Article