Step-indexed kripke models over recursive worlds (Q5408537)

From MaRDI portal
scientific article; zbMATH DE number 6282598
Language Label Description Also known as
English
Step-indexed kripke models over recursive worlds
scientific article; zbMATH DE number 6282598

    Statements

    Step-indexed kripke models over recursive worlds (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 April 2014
    0 references
    capability calculus
    0 references
    frame rules
    0 references
    indirection theory
    0 references
    Kripke models
    0 references
    step-indexed models
    0 references
    ultrametric spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references