Relations and Kleene Algebra in Computer Science: Proceedings of RelMiCS/AKA 2006

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    PublisherSpringer Nature
    Volume4136
    Publication statusPublished - 2006
    Event9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra - Manchester, UK
    Duration: 29 Aug 20062 Sept 2006

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    Conference9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra
    CityManchester, UK
    Period29/08/062/09/06

    Cite this