Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

H.H. Hansen

    Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

    Original languageEnglish
    QualificationPhD
    Awarding Institution
    • Vrije Universiteit Amsterdam
    Supervisors/Advisors
    • Rutten, J.J.M.M., Supervisor
    • Venema, Y., Co-supervisor
    • Kupke, C.A., Co-supervisor, External person
    Award date14 May 2009
    Publication statusPublished - 2009

    Keywords

    • automata
    • bisimilarity
    • bitstream function
    • classical modal logic
    • coalgebra
    • neighbourhood semantics
    • subsequential transducer
    • synthesis

    Cite this

    @phdthesis{f79651afaa914827bbdd9880f0b7fbf9,
    title = "Coalgebraic Modelling: Applications in Automata Theory and Modal Logic",
    keywords = "automata, bisimilarity, bitstream function, classical modal logic, coalgebra, neighbourhood semantics, subsequential transducer, synthesis",
    author = "H.H. Hansen",
    year = "2009",
    language = "English",
    school = "Vrije Universiteit Amsterdam",

    }

    Hansen, HH 2009, 'Coalgebraic Modelling: Applications in Automata Theory and Modal Logic', PhD, Vrije Universiteit Amsterdam.

    Coalgebraic Modelling : Applications in Automata Theory and Modal Logic. / Hansen, H.H.

    2009.

    Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

    TY - THES

    T1 - Coalgebraic Modelling

    T2 - Applications in Automata Theory and Modal Logic

    AU - Hansen, H.H.

    PY - 2009

    Y1 - 2009

    KW - automata

    KW - bisimilarity

    KW - bitstream function

    KW - classical modal logic

    KW - coalgebra

    KW - neighbourhood semantics

    KW - subsequential transducer

    KW - synthesis

    M3 - PhD Thesis - Research VU, graduation VU

    ER -